Explore projects

Contains 2D code

Moscow ML, with my personal modifications

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

A parser combinator library.

sample for permissions test

An autograding framework for C/C++ code

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