Jasper Geer's repositories

cs106-svmlt

CS106 - Virtual Machines & Language Translation

Language:CStargazers:3Issues:2Issues:0

DocMachine

VSCode extension for on the fly documentation generation

Language:TypeScriptLicense:MITStargazers:1Issues:0Issues:0

Colony

A Graphical Evolution Simulator

Language:JavaLicense:MITStargazers:0Issues:1Issues:0

custom-passes

Custom out-of-tree LLVM passes

Language:C++Stargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:1Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0

DynEconomy

Spigot plugin that regulates money supply based on Towny data

Language:JavaLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

reachability-fun

WIP implementation of a reachability type checker

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

tinyvalidator

Formalized symbolic executor for a C-like language

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

jumcc

Compiler for C-like language targeting umasm

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

maglev

Spigot/bukkit plugin to make minecarts worth building again

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Odin

Odin Programming Language

Language:OdinLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0