Popular repositories Loading

1. interactive-lp interactive-lp Public

   Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

   Standard ML 290 27

2. ml-mukanren ml-mukanren Public

   microkanren in sml

   Standard ML 27 2

3. sestina sestina Public

   Tinkering with creating a functional programming language for procedural content generation.

   Standard ML 19 1

4. lfinlf lfinlf Public

   Mechanized metatheory of LF in Twelf.

   16 1

5. ceptre-tutorial ceptre-tutorial Public

   Tutorial materials for Ceptre.

   15 1

6. lf-class lf-class Public

   Logical Frameworks Class

   Vim Script 12 1