Types and Programming Languages, in Haskell
仓库
joelburget 的仓库
Tensor diagrams - Penrose graphical notation in D3.js
A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]
Post-training with Tinker
MultiMarkdown version (with HTML source tab) of Notational Velocity: modeless, mouseless Mac OS X note-taking application
Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API
Morph between tuples with the same "flattened" representation.
a unification visualization in the browser
An implementation of "A Typed, Algebraic Approach to Parsing"
Build valid HTML and SVG documents
Short links expander for node.js
Dumping ground for Chrome User Scripts that I find useful
vim2hs :: Vim -> Haskell
The old joelburget.com
your personal encyclopedia, written by agents