joelburget
Thinking about programming languages, formal reasoning, and machine learning.
@google Portland, OR
Pinned Repositories
d4
Data-Driven Declarative Documents
evm-rust
Minimal EVM implementation in Rust
haskell-ipld
An implementation of (some of) IPLD
haskell-loader
A webpack loader for Haskell (!)
hubble
javascript lenses
lvca
language verification, construction, and analysis
pigment
Programming Language meets UI
react-haskell
React bindings for Haskell
react-live-editor
live editing react components
slimlock
SLiM + slock = slimlock
joelburget's Repositories
joelburget/pigment
Programming Language meets UI
joelburget/evm-rust
Minimal EVM implementation in Rust
joelburget/haskell-ipld
An implementation of (some of) IPLD
joelburget/simplicity-hs
Implementation of "Simplicity: A New Language for Blockchains"
joelburget/backprop-fun
fun with backprop
joelburget/berkeley-quorum
Demos / Materials for my Blockchain at Berkeley Developer Course lecture
joelburget/a-la-carte
joelburget/blog.next
Possibly the technology that will get me blogging again
joelburget/focusing
joelburget/go-ethereum
Official Go implementation of the Ethereum protocol
joelburget/language-python
joelburget/oplog
joelburget/bamboo
Bamboo: a morphing smart contract language
joelburget/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.
joelburget/coq-bucklescript
joelburget/coq-remote-plugin
joelburget/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
joelburget/hevm
A debug-oriented implementation of the Ethereum VM (EVM)
joelburget/HoneyBadgerBFT
The Honey Badger of BFT Protocols
joelburget/HZ
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React
joelburget/irmin
Irmin is a distributed database that follows the same design principles as Git
joelburget/istanbul-demo
Istanbul demo scripts
joelburget/materializedviews
joelburget/my_configs
My .*rc files and some stuff. Lots of garbage, use with caution.
joelburget/nibble
Ways of parsing four-bit integers, i.e. nibbles.
joelburget/nixpkgs
Nix Packages collection
joelburget/planetary.sh
joelburget/react-diff-view
A git diff component
joelburget/solidity
The Solidity Contract-Oriented Programming Language
joelburget/system-lf
linear logic and system f have a baby