Popular repositories Loading

1. pspace-encodings pspace-encodings Public

   Python 3 1

2. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   OCaml 1

3. ggp-hsfc ggp-hsfc Public

   High Speed Forward Chaining engine for General Game Playing

   C++ 1 1

4. touist touist Public

   Forked from touist/touist

   TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

   OCaml

5. dlpag dlpag Public

   OCaml 3

6. planner planner Public

   Forked from axieax/planner

   UNSW Degree Planner

   Python