Pinned Loading

1. dusa dusa Public

   A logic programming language that has features of both Datalog and answer set programming.

   TypeScript 125 8

2. cmu-thesis cmu-thesis Public

   Latex starters for creating a CMU thesis or thesis proposal

   TeX 36 24

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 16 2

4. sml-lib sml-lib Public

   Library for Standard ML

   Standard ML 56 4

5. abbot abbot Public

   Generation of abstract binding trees

   Standard ML 27 6

6. l10 l10 Public

   The L10 Logic Programming Language

   Standard ML 10