- Frosthaven Manager: Run (custom) games of Frosthaven locally.
- FUNARCH paper
- slack-archive-viewer: Turn your Slack archive dumps into a static site
- #lang jsond: a Racket language for embedding JSON data
- echocho: POSIX, BSD, XSI, and SystemV
implementations of
echo(1)
- plink: DSL for Dotfiles
- tmplr: CLI templating system
- loner: LL(1) computer
- java on nix: Template for java projects on *nix
- attendx: quick attendance solution
I also contributed to the development of the dracula-pro variants for vim.
- zelda-mosaic-proof: proving properties of the original project by formalizing a subset of MATLAB
- zelda-mosaic: create mosaics of Legend of Zelda™ keyart from screenshots from the games
- mips2: a mips interpreter for mips that plays sounds and display the current register state using memory-mapped IO devices
sml-java& prolog-java: Java parsers for two languages, generated from ANTLR4 grammars, used to develop tree-based stylechecks for a course in programming languages at UNC Chapel Hill- for SML, we ended up using the SML-NJ parser, which correctly handles ambiguities that ANTLR struggled with (smlnj-parser-style)
- if I had to do it again, I would do the prolog part in prolog
- limchess: Limited-input accessible chess prototype
- idiot (private): a git client in Clojure
- miniJava (private): a compiler for a subset of Java targeting the miniJava abstract machine (mJAM), a stack-based evaluator with frames, heap-located objects and arrays
- RoboRepair: Global Game Jam 2020
- GeNOME sort: Hack NC 2019
- MadEyeMoodify: HackNC 2018
- Optimeet: HackNC 2016