joelburget

Thinking about programming languages, formal reasoning, and machine learning.

@google Portland, OR

Pinned Repositories

d4
Data-Driven Declarative Documents
Language:JavaScript818 29 420
evm-rust
Minimal EVM implementation in Rust
Language:Rust29 3 40
haskell-ipld
An implementation of (some of) IPLD
Language:Haskell12 4 11
haskell-loader
A webpack loader for Haskell (!)
Language:JavaScript15 3 01
hubble
javascript lenses
Language:JavaScript15 3 00
lvca
language verification, construction, and analysis
Language:OCaml20 2 230
pigment
Programming Language meets UI
Language:JavaScript51 13 207
react-haskell
React bindings for Haskell
Language:Haskell352 16 1926
react-live-editor
live editing react components
Language:JavaScript163 7 528
slimlock
SLiM + slock = slimlock
Language:C++40 6 1717

joelburget's Repositories

joelburget/easytest
Simple testing toolkit
Language:Haskell11 6 07
joelburget/plur
Plurality Monad: Zero, one, or at least two.
Language:Haskell5 3 2
joelburget/structured-editing
Language:JavaScript5 4 18
joelburget/lvca-hs
language verification, construction, and automation
Language:Haskell4 5 5
joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
Language:JavaScript4 3 02
joelburget/gadts
The contents of a talk on GADTs
Language:Haskell3 3 0
joelburget/huttons-raz3r
Language:Haskell1 3 0
joelburget/sat
Language:OCaml1 3 0
joelburget/symmetric-properties
`Same` / `Unique` monoidal witnesses
Language:Haskell1 3 01
joelburget/book
Owl Tutorial Book V1
Language:CSS2 0
joelburget/bs-jest
BuckleScript bindings for Jest
Language:OCaml2 0
joelburget/CodeMirror
In-browser code editor
Language:JavaScript2 0
joelburget/codemirror-ocaml
CodeMirror 6 bindings for OCaml
Language:JavaScript3 0
joelburget/constraintula
Define relationships between class attributes via equations of constraint.
Language:Python2 0
joelburget/gen_js_api
Easy OCaml bindings for Javascript libraries
Language:OCaml2 0
joelburget/haskeline
A Haskell library for line input in command-line programs.
Language:Haskell
joelburget/hledger
Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger.
Language:Haskell2 0
joelburget/hs-git
git protocol and storage in pure haskell
Language:Haskell2 0
joelburget/incr_dom
A library for building dynamic webapps, using Js_of_ocaml.
Language:OCaml2 0
joelburget/lezer-sandbox
Language:TypeScript2 0
joelburget/lezer-tree-visualizer
A basic tool for debugging lezer syntax trees in the console
Language:TypeScript2 0
joelburget/ocaml-cbor
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
Language:OCaml2 0
joelburget/ocaml-ci
A CI for OCaml projects
Language:OCaml2 0
joelburget/oh-my-fish
The Fish Shell Framework
Language:Shell2 0
joelburget/pact
The Pact Smart Contract Language
Language:Haskell
joelburget/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Language:Haskell
joelburget/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Shell2 0
joelburget/ts2ocaml
Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API
Language:F#2 0
joelburget/tuple-morph
Morph between tuples with the same "flattened" representation.
Language:Haskell
joelburget/tyxml
Build valid HTML and SVG documents
Language:OCaml2 0