Popular repositories Loading

1. noweb noweb Public

   The noweb tool for literate programming

   TeX 268 28

2. qc-- qc-- Public archive

   Quick C-- compiler (no longer maintained)

   OCaml 158 20

3. build-prove-compare-student-code build-prove-compare-student-code Public

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

   Standard ML 25 4

4. SML-Lint SML-Lint Public

   Tool for detecting bad style in Standard ML programs

   Standard ML 16 5

5. noweb3 noweb3 Public

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

   C 10 2

6. icfp-contest-2011 icfp-contest-2011 Public

   2011 ICFP programming contest entry

   Haskell 5