Popular repositories

1. sml-lib Public

   Library for Standard ML

   Standard ML 50 4

2. cmu-thesis Public

   Latex starters for creating a CMU thesis or thesis proposal

   TeX 30 18

3. abbot Public

   Generation of abstract binding trees

   Standard ML 21 4

4. functioning Public

   Functioning: A Game Framework based on SDL for Standard ML

   Standard ML 20 2

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

6. l10 Public

   The L10 Logic Programming Language

   Standard ML 11