Pinned Repositories
act
Smart contract specification language
cpp-ethereum
Ethereum C++ client
ctl-optim
diff_calc
dotfiles
my config files
dss
Dai Stablecoin System
homod
maude
pandoc-tangle
Simple tangler for Pandoc
reviews
ehildenb's Repositories
ehildenb/pandoc-tangle
Simple tangler for Pandoc
ehildenb/reviews
ehildenb/homod
ehildenb/maude
ehildenb/dotfiles
my config files
ehildenb/act
Smart contract specification language
ehildenb/cpp-ethereum
Ethereum C++ client
ehildenb/ctl-optim
ehildenb/diff_calc
ehildenb/dss
Dai Stablecoin System
ehildenb/ethereum-tests
Common tests for all Ethereum implementations
ehildenb/git-ci
Tools for CI servers centered around Git
ehildenb/gll
ehildenb/hledger
The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.
ehildenb/k-dss
formal verification of multicollateral dai in the K framework
ehildenb/k-tutorial
ehildenb/klab
ehildenb/leap-contracts
LeapDAO's implementation of More Viable Plasma / Plasma Leap
ehildenb/maude_logics
ehildenb/mauke
ehildenb/oppen-bus
ehildenb/pandoc
Universal markup converter
ehildenb/phs
ehildenb/psi
Exact Inference Engine for Probabilistic Programs
ehildenb/purring-simulator
purring-simulator
ehildenb/smart-contracts
ehildenb/sol-comp
ehildenb/testing-harness
ehildenb/time-quote
ehildenb/truffle-plugin-firefly