Ben Lynn

gitmagic. A guide to using Git

nex. Lexer for Go

pbc. The Pairing-based Crypto library

compiler. The adventures of a Haskell compiler

dlx. Library that solves the exact cover problem using Dancing Links, also known as DLX.

blt. Crit-bit tree (trie) library

morans. Get a Brain

symple. C

netwalk. Puzzle game: connect all terminals to the server

frac. Continued fractions library.

sidekick. Haskell

zddfun. Logic puzzle solvers, using ZDDs.

lambda. Notes on lambda calculus and type theory.

mofo. monoForth: a Forth interpreter

jason. Interpreter for a subset of the J language.

spelltapper. Android incarnation of Spellbinder, a game by Richard A. Bartle

bls2001. Code from ASIACRYPT2001 BLS paper.

phd-thesis. TeX

dlxt. Haskell rewrite of my DLX library

core. MIRACL Core

zh23. Haskell

blimp. Lisp interpreter

mockingbird. Solves a puzzle from "To Mock a Mockingbird" by Raymond M. Smullyan.

hol-light. The HOL Light theorem prover (moved from Google code)

bliss. C

combotrain. JavaScript games

haste-compiler. A GHC-based Haskell to JavaScript compiler

toservemanpages. Haskell

tool-conventions. Conventions supporting interoperatibility between tools working with WebAssembly.

blynn.github.io. JavaScript