Popular repositories Loading

1. noweb noweb Public

   The noweb tool for literate programming

   TeX 313 31

2. qc-- qc-- Public archive

   Quick C-- compiler (no longer maintained)

   OCaml 163 19

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 35 5

4. SML-Lint SML-Lint Public

   Tool for detecting bad style in Standard ML programs

   Standard ML 17 6

5. noweb3 noweb3 Public

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

   C 10 3

6. Frosthaven-YASS Frosthaven-YASS Public

   YASS Storage layouts for Frosthaven

   TeX 6