PinnedLoading

1. dusadusaPublic

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

   TypeScript 123 8

2. cmu-thesiscmu-thesisPublic

   Latex starters for creating a CMU thesis or thesis proposal

   TeX 36 25

3. levylevyPublic

   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-libsml-libPublic

   Library for Standard ML

   Standard ML 55 4

5. abbotabbotPublic

   Generation of abstract binding trees

   Standard ML 27 6

6. l10l10Public

   The L10 Logic Programming Language

   Standard ML 10