Explore projects
-
-
A Sublime 3 syntax highlighter for uSmallTalk, one of the bridge languages used in Norman Ramsey's "Build, Prove, and Compare".
Updated -
Synthesize polarization images based on TRS (Transmitted Reflectance Sinusoid) physical model.
Input contains an image of an object and its normal image. Output synthesized polarization images. Perfect for diffuse and metal materialsUpdated -
A prototype for the pretty printer half of our bidirectional correspondence between AST and the concrete syntax
Updated -
Updated
-
Updated
-
A fork of the Happy parser generator with a quasi quoter stapled on
Updated -
-
Convenient versioning for the tupl.cs.tufts.edu website, in case anyone accidentally trashes the live copy.
Updated -
-
Proto VM for JML... presently the taget for uscheme compilation
Updated -
-
-
-
Updated
-