Norman Ramsey

noweb. The noweb tool for literate programming

qc--. Quick C-- compiler (no longer maintained)

build-prove-compare-student-code. Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey

SML-Lint. Tool for detecting bad style in Standard ML programs

noweb3. Noweb, a simple literate-programming tool: the never-released, alpha, Lua-based version

Frosthaven-YASS. YASS Storage layouts for Frosthaven

icfp-contest-2011. 2011 ICFP programming contest entry

ebnf. Very old tool using Wirth's EBNF notation in a parser generator, primarily for LL(1) grammars

fun. Code and other entertainments from the Tufts CS group Fun in the Afternoon

Match40. Happstack application to help students find parteners for pair programming

comp150fp-2013f. A class repository for Norman Ramsey's 2013 Advanced Functional Programming class.

redo. Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

ghc-timing-mystery. Demonstrates GHC timing weirdness

snowplow-race. Midterm game from Tufts CS 23, Spring 2025

charsheets. LaTeX support for creating D&D character sheets.

osbf-lua. OSBF-Lua, a spam filter built in collaboration with Fidelis Assis

plfa. My work on Wadler's _Programming Language Foundations in Agda_

gloomhaven-play-organizer. Organizer to hold Gloomhaven supplies needed during setup and play

u2ps. unicode text to postscript converter