Joel Burget

d4. Data-Driven Declarative Documents

react-haskell. React bindings for Haskell

react-live-editor. live editing react components

microjax. A tiny autograd engine with a Jax-like API

pigment. Programming Language meets UI

slimlock. SLiM + slock = slimlock

evm-rust. Minimal EVM implementation in Rust

lvca. language verification, construction, and analysis

hubble. javascript lenses

haskell-loader. A webpack loader for Haskell (!)

haskell-ipld. An implementation of (some of) IPLD

assimp. Haskell FFI bindings for Assimp

material-ui-hs. Material UI in Haskell!

mamba-sae. Training and evaluating Sparse Autoencoders for Mamba

typed-algebraic-parsing. An implementation of "A Typed, Algebraic Approach to Parsing"

ghcjs-box. Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development

easytest. Simple testing toolkit

daily-typecheckers. I'm writing a typechecker every day

simplicity-hs. Implementation of "Simplicity: A New Language for Blockchains"

haste-compiler. A Haskell to Javascript compiler.

jison-loader. jison loader module for webpack

Cologne. Good Smelling Ray Tracer

dotfiles. My important config files

plur. Plurality Monad: Zero, one, or at least two.

einsum-in-depth. Interactive Einsum Tutorial

structured-editing. JavaScript

data-lens-template. Template Haskell utilities for Data.Lens

lvca-hs. language verification, construction, and automation

monaco-ocaml. Ocaml bindings to Microsoft's Monaco editor

corewarjs. Corewar in Javascript

mylens. Haskell

gadts. The contents of a talk on GADTs

sdl2-image. Haskell bindings to sdl_image for SDL 2

sdl2-ttf. Haskell bindings for SDL(2)-ttf

constructive-reals. Real numbers with decidable equality

journal. My public technical journal

sdl2-gfx. Haskell bindings to SDL2_gfx

isl-hs. haskell bindings to the integer set library

isometric. A lightweight JavaScript library, written in TypeScript, to create isometric projections using SVGs

haste-commonjs. Write CommonJS (Browserify, Webpack) modules in Haste

berkeley-quorum. Demos / Materials for my Blockchain at Berkeley Developer Course lecture

secret. Haskell

backprop-fun. fun with backprop

url-unshort. Short links expander for node.js

trust-tokens. Python

a-la-carte. Haskell

graphreduction. Haskell

Torque. MultiMarkdown version (with HTML source tab) of Notational Velocity: modeless, mouseless Mac OS X note-taking application

perseus-one-server. An experimental server implementing the Perseus One API

tapl. Types and Programming Languages, in Haskell

planetary. playing with programming languages again

turbo-unify. a unification visualization in the browser

hubot-khan. CoffeeScript