Pinned Loading

1. bibviz bibviz Public

   Build a browsable HTML view of BibTeX files and related documents.

   Perl 6

2. cl-nst cl-nst Public

   Unit testing for Common Lisp

   Common Lisp 9 1

3. PLC PLC Public

   Forked from plfa/plfa.github.io

   An undergraduate-level introduction to programming language concepts: primarily using Agda, combining material from Wadler et al.'s PLFA and Pierce's SF.

   Agda 1

4. defblog defblog Public

   A web site/blog builder, implemented as a wrapper around org-project.

   Emacs Lisp 15 1

5. bps bps Public

   Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

   Haskell 16 1

6. tlt tlt Public

   A Haskell test framework oriented towards stacked monad transformers

   Haskell