Skip to content

Instantly share code, notes, and snippets.

@benknoble
Last active October 2, 2024 20:53
Show Gist options
  • Save benknoble/7b3de965780f30fc9f6340a6830ad2c9 to your computer and use it in GitHub Desktop.
Save benknoble/7b3de965780f30fc9f6340a6830ad2c9 to your computer and use it in GitHub Desktop.
Projects

My Projects

Dracula projects I maintain

I also contributed to the development of the dracula-pro variants for vim.

Advent of Code

Class projects

  • 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

Hackathons

See also

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment