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 doesn’t have any repository yet.