Popular repositories Loading

1. ocaml-datalog ocaml-datalog Public

   This package contains a lightweight deductive database system in OCaml

   OCaml 40 4

2. agum agum Public

   Unification and Matching in an Abelian Group

   Haskell 11 2

3. datalog datalog Public

   Datalog interpreter in Lua

   C 8 1

4. chase chase Public

   OCaml 6

5. gtksudoku gtksudoku Public

   GTK Sudoku eliminates much of the drudgery of solving a Sudoku puzzle and provides educational tips should the path to the solution become obscured.

   C 5 1

6. cmu cmu Public

   Unification in a Commutative Monoid

   Haskell 4 1