Jasper Geer's repositories
cs106-svmlt
CS106 - Virtual Machines & Language Translation
DocMachine
VSCode extension for on the fly documentation generation
custom-passes
Custom out-of-tree LLVM passes
Language:Emacs Lisp000
DynEconomy
Spigot plugin that regulates money supply based on Towny data
Language:JavaMIT000
reachability-fun
WIP implementation of a reachability type checker
Language:HaskellMIT000
tinyvalidator
Formalized symbolic executor for a C-like language
Language:HaskellMIT000
000
maglev
Spigot/bukkit plugin to make minecarts worth building again
Language:JavaGPL-3.0000
Odin
Odin Programming Language
Language:OdinBSD-3-Clause000
Language:HaskellMIT000