Beast code in Giters

livnev's repositories

rwa-example

Language:SolidityAGPL-3.012 6 2

act-mode

emacs major mode for .act specs

Language:Emacs LispAGPL-3.03 30

audit-dss-deploy

auditing the auth in a deployed dss

Language:Python2 30

dss-vox

Language:Solidity2 40

weird-erc20

weird erc20 tokens

Language:Solidity2 20

buildbot-nixops

Language:PythonAGPL-3.01 30

compound-tally

Language:Python1 30

dss-1

Dai Stablecoin System

Language:SolidityAGPL-3.01 20

multipleCalls

Language:Solidity1 30

orgdapp

Language:Emacs Lisp1 30

auction-keeper

Maker Keeper Framework: Keeper to participate in `flip`, `flop` and `flap` auctions in multicollateral Dai.

Language:PythonAGPL-3.0020

chief-explorer

Language:HTMLAGPL-3.0020

community

A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.

AGPL-3.0020

dss

Language:SolidityAGPL-3.0030

dss-cat-overflow

Language:SolidityGPL-3.0020

enzyme-v2-check-tokens

Language:Shell030

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Language:MakefileNOASSERTION000

ggrieco-test

Language:Makefile020

helm-mu

Helm sources for searching emails and contacts using mu

Language:Emacs LispGPL-3.0020

hevm-rpc-demo

Language:Solidity030

mips

Maker Improvement Proposals (MIPs)

MIT020

nixops

NixOps, the NixOS-based cloud deployment tool

Language:PythonLGPL-3.0020

nixpkgs

Nix Packages collection

Language:NixMIT000

openzeppelin-solidity

Language:JavaScriptMIT020

riot-web

A glossy Matrix collaboration client for the web.

Language:JavaScriptApache-2.0020

swap-contract

Language:SolidityNOASSERTION020

synapse

Synapse: Matrix reference homeserver

Language:PythonApache-2.0020

UniversalLoginSDK

Universal Login SDK

Language:JavaScriptMIT020

wave-reader-utils

Community Wave Device Library

Language:PythonMIT000

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeXCC-BY-SA-4.0020