Norman Ramsey

icon indicating a website link https://www.cs.tufts.edu/~nr/ icon indicating an email [email protected]

icon company Tufts University icon location Malden, Mass, USA icon location Happy hacker in ML, Lua, Haskell, C, others.

Results 4 repositories owned by Norman Ramsey

noweb

242
Stars
27
Forks
Watchers

The noweb tool for literate programming

verified publisher icon nrnrnr

qc--

138
Stars
18
Forks
Watchers

Quick C-- compiler (no longer maintained)

verified publisher icon nrnrnr

SML-Lint

16
Stars
5
Forks
Watchers

Tool for detecting bad style in Standard ML programs

verified publisher icon nrnrnr

build-prove-compare-student-code

21
Stars
2
Forks
Watchers

Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey

verified publisher icon nrnrnr