Stars
A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.
A discord bot for listening to music with friends
A browser based word strategy game featuring frictionless link-based multiplayer. Try it today!
my reed college thesis! the thesis develops functorial semantics a la Lawvere, and ultimately demonstrates a proof by Artin gluing of open normalization for the simply typed lambda calculus.
58CB♞ lichess.org: the forever free, adless and open source chess server ♞
A TypeScript chess library for chess move generation/validation, piece placement/movement, and check/checkmate/draw detection
Test utility for validating OpenAPI documentation