Popular repositories Loading

1. glulx-llvm glulx-llvmPublic

   An experimental LLVM backend for the Glulx VM, and associated tools.

   C 10 1

2. counting-benchmarks counting-benchmarksPublic

   A collection of model counting (#SAT) benchmarks.

   Python 6 2

3. maxcount maxcountPublic

   An approximate Max#SAT solver.

   Python 5 4

4. scipy scipyPublic

   Forked from scipy/scipy

   SciPy library main repository

   Python 1

5. rci rciPublic

   Reactive control improvisation implementation.

   Mathematica

6. hypothesis-cfg hypothesis-cfgPublic

   Forked from mvcisback/hypothesis-cfg

   Generate random elements of a language defined by a context free grammar.

   Python