JLang

JLang is an ahead-of-time compiler for Java programs, targeting LLVM as the backend. JLang is built on top of the polyglot compiler framework and comes with a runtime which is compatible with the OpenJDK7 java runtime.

I worked on the runtime implementation and am a current maintainer of the JLang project.

The code for JLang can be found on Github.

---

Linearity

Linearity is a visual game which teaches the connective rules for linear logic. Linearity was produced as a group project for Cornell CS course 6360: Educational Technology.

You can play Linearity yourself online!