Pinned Loading

1. dusa dusa Public

   A petrifyingly good logic programming language

   TypeScript 30 2

2. cmu-thesis cmu-thesis Public

   Latex starters for creating a CMU thesis or thesis proposal

   TeX 33 21

3. levy levy Public

   A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the '…

   OCaml 15 2

4. sml-lib sml-lib Public

   Library for Standard ML

   Standard ML 54 4

5. abbot abbot Public

   Generation of abstract binding trees

   Standard ML 27 5

6. l10 l10 Public

   The L10 Logic Programming Language

   Standard ML 11