Joel Burget's repositories
haskell-ipld
An implementation of (some of) IPLD
simplicity-hs
Implementation of "Simplicity: A New Language for Blockchains"
backprop-fun
fun with backprop
berkeley-quorum
Demos / Materials for my Blockchain at Berkeley Developer Course lecture
go-ethereum
Official Go implementation of the Ethereum protocol
bamboo
Bamboo: a morphing smart contract language
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
HoneyBadgerBFT
The Honey Badger of BFT Protocols
HZ
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React
irmin
Irmin is a distributed database that follows the same design principles as Git
istanbul-demo
Istanbul demo scripts
my_configs
My .*rc files and some stuff. Lots of garbage, use with caution.
nibble
Ways of parsing four-bit integers, i.e. nibbles.
nixpkgs
Nix Packages collection
react-diff-view
A git diff component
solidity
The Solidity Contract-Oriented Programming Language
system-lf
linear logic and system f have a baby