nmushegian Goto Github PK

alang

sketching concept for a system language with minimalist semantics

cage-keeper

Maker Keeper Framework: Keeper to facilitate Emergency Shutdown

casetest

declarative test cases using JAMS or JSON

celloc

cell allocator with hard-realtime garbage collection AND DEDUPLICATION

charlang

very high impact trivial syntactic transform for javascript

chickencoin

a really dumb token

coreword

datadesk

big purely functional kvdb

developerguides

Developer guides to integrate with MakerDAO's smart contracts, SDKs, APIs, products, and partners

dmap

dotfiles

draw

sketches

drlp

Double-sided RLP

dss

Dai Stablecoin Simulation

dss-cdp-manager

dss-deploy

Set of smart contracts and bash scripts to deploy Multi collateral DAI

dss-deploy-scripts

dss-interfaces

Abstract developer interfaces to the Dai Stablecoin System core contracts.

dss-proxy

fixing a copyright issue by @MakerDAO team

dss-proxy-actions

Set of proxy functions for MCD (using mcd-cdp-handler)

easygram

ergo wrapper around `ebnf` lib

esm

Emergency Shutdown Module

flowform.js

Turn your giant stateful event loop into a functional reactive dataflow thing using less code

hams

jams

actually minimal JSON alternative

k-mkr-authority

Formal Verification of MkrAuthority contract

line-spell

A spell-like contract that sets the debt ceiling (line) of a collateral type (ilk) through a DSProxy-like mom contract

macaroni

write evm contracts using gcc macros

markjam

Use JAMS to write safe HTML subset

minicash