Norman Ramsey
@nrnrnr
About
Happy hacker in ML, Lua, Haskell, C, others.
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
qc--
OCamlQuick C-- compiler (no longer maintained)
build-prove-compare-student-code
Standard MLStudent-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
ebnf
GAPVery old tool using Wirth's EBNF notation in a parser generator, primarily for LL(1) grammars
noweb
TeXThe noweb tool for literate programming
charsheets
LuaLaTeX support for creating D&D character sheets.
gloomhaven-play-organizer
OpenSCADOrganizer to hold Gloomhaven supplies needed during setup and play