Explore projects
-
A copy of sniper from 11/1/19 with modifications/additions
Updated -
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 -
Jeanne-Marie Musca / pp-proto
BSD 3-Clause "New" or "Revised" LicenseA prototype for the pretty printer half of our bidirectional correspondence between AST and the concrete syntax
Updated -
Updated
-
Jeanne-Marie Musca / happy-quasi-quote
BSD 2-Clause "Simplified" LicenseA 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
-
-