Explore projects

Code for my bachelor thesis

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

Repo for networking group

Repo for networking group

Moscow ML, with my personal modifications

Plan 9 mk, ported to Unix, with a subsecond patch from RSC (for Linux only)

Proto VM for JML... presently the taget for uscheme compilation

sml nanopass framework with type inference draft