Discover @nrnrnr Open Source projects

Norman Ramsey (@nrnrnr)

nrnrnr

Stars
466
Global Rank 61,473 (Top 3 %)
Followers 229
Following 4
Registered almost 16 years ago
Most used languages

Haskell
30.8 %

Standard ML 15.4 %

TeX
15.4 %

Agda 7.7 %

Lua
7.7 %

OCaml
7.7 %

C
7.7 %

GAP 7.7 %
Location 🇺🇸 United States
Country Total Rank 16,591
Country Ranking

Standard ML 16

GAP 27

OCaml
45

Agda 65

TeX
100

Haskell
871

Lua
5,791

C
8,318

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

ghc-timing-mystery

Demonstrates GHC timing weirdness

plfa

My work on Wadler's _Programming Language Foundations in Agda_

osbf-lua

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