nrnrnr

Happy hacker in ML, Lua, Haskell, C, others.

Tufts UniversityMalden, Mass, USA

Pinned Repositories

build-prove-compare-student-code
Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
Language:Standard ML24 3 174
comp150fp-2013f
A class repository for Norman Ramsey's 2013 Advanced Functional Programming class.
Language:Haskell2 2 01
ebnf
Very old tool using Wirth's EBNF notation in a parser generator, primarily for LL(1) grammars
Language:GAP4 2 11
Frosthaven-YASS
YASS Storage layouts for Frosthaven
Language:TeX5 3 20
icfp-contest-2011
2011 ICFP programming contest entry
Language:Haskell5 7 00
noweb
The noweb tool for literate programming
Language:TeX262 19 2728
noweb3
Noweb, a simple literate-programming tool: the never-released, alpha, Lua-based version
Language:C10 4 02
qc--
Quick C-- compiler (no longer maintained)
Language:OCaml152 12 120
SML-Lint
Tool for detecting bad style in Standard ML programs
Language:Standard ML16 3 05

nrnrnr's Repositories

nrnrnr/noweb
The noweb tool for literate programming
Language:TeX262 19 2728
nrnrnr/qc--
Quick C-- compiler (no longer maintained)
Language:OCaml152 12 120
nrnrnr/build-prove-compare-student-code
Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
Language:Standard ML24 3 174
nrnrnr/SML-Lint
Tool for detecting bad style in Standard ML programs
Language:Standard ML16 3 05
nrnrnr/noweb3
Noweb, a simple literate-programming tool: the never-released, alpha, Lua-based version
Language:C10 4 02
nrnrnr/Frosthaven-YASS
YASS Storage layouts for Frosthaven
Language:TeX5 3 20
nrnrnr/ebnf
Very old tool using Wirth's EBNF notation in a parser generator, primarily for LL(1) grammars
Language:GAP4 2 11
nrnrnr/comp150fp-2013f
A class repository for Norman Ramsey's 2013 Advanced Functional Programming class.
Language:Haskell2 2 01
nrnrnr/fun
Code and other entertainments from the Tufts CS group Fun in the Afternoon
Language:Haskell2 3 01
nrnrnr/Match40
Happstack application to help students find parteners for pair programming
Language:Haskell2 5 00
nrnrnr/redo
Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.
Language:Python2 0 0
nrnrnr/ghc-timing-mystery
Demonstrates GHC timing weirdness
Language:Haskell1 1 0
nrnrnr/osbf-lua
OSBF-Lua, a spam filter built in collaboration with Fidelis Assis
Language:Lua1
nrnrnr/plfa
My work on Wadler's _Programming Language Foundations in Agda_
Language:Agda1
nrnrnr/clang-tags
C/C++ source code indexing tool based on libclang
Language:C++2 01
nrnrnr/clibs
A smattering of miscellaneous C libraries. Includes sane argument parsing, a thread-safe multi-producer/multi-consumer queue, and implementation of common data structures (hashmaps, vectors and linked lists).
Language:C2 0
nrnrnr/gloomhaven-play-organizer
Organizer to hold Gloomhaven supplies needed during setup and play
Language:OpenSCAD1 0
nrnrnr/lanes
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 and 5.2.
Language:C2 0
nrnrnr/mfsolve
mfsolve
Language:Haskell2 0
nrnrnr/nbibtex
Powerful, flexible replacement for bibtex
Language:Groff2 0
nrnrnr/noerr
noerr is a filter for noweb error messages to improve error messages for languages missing #LINE directives.
Language:Makefile2 0
nrnrnr/Partition
Thesis
Language:Standard ML3 0
nrnrnr/plfa.github.io
An introduction to programming language theory in Agda
nrnrnr/polymode
Object oriented framework for multiple emacs modes based on indirect buffers
Language:Emacs Lisp2 0
nrnrnr/retrie
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
Language:Haskell0 0
nrnrnr/rima
Rima is a tool for formulating mathematical models
Language:Lua1 0
nrnrnr/sample-ghc-client
Client to test issues with using the GHC API when bootstrap and API are different versions
Language:Haskell2 0
nrnrnr/simpledbus
Simple DBus bindings for Lua
Language:C2 0
nrnrnr/u2ps
unicode text to postscript converter
Language:C1 0
nrnrnr/worldhaven
All of the JSON data files and Asset image files that the WAV utilizes
Language:JavaScript0 0