Explore projects

Moscow ML, with my personal modifications

A prototype for the pretty printer half of our bidirectional correspondence between AST and the concrete syntax

Contains 2D code

A fork of the Happy parser generator with a quasi quoter stapled on

A parser combinator library.

An autograding framework for C/C++ code

Prototype for Grammar Generator

Central location for ISMM 2015 files

A Sublime 3 syntax highlighter for uSmallTalk, one of the bridge languages used in Norman Ramsey's "Build, Prove, and Compare".

JetPack costume code