Popular repositories Loading

1. glulx-llvm glulx-llvm Public

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

   C 10 1

2. counting-benchmarks counting-benchmarks Public

   A collection of model counting (#SAT) benchmarks.

   Python 6 2

3. maxcount maxcount Public

   An approximate Max#SAT solver.

   Python 5 4

4. scipy scipy Public

   Forked from scipy/scipy

   SciPy library main repository

   Python 1

5. rci rci Public

   Reactive control improvisation implementation.

   Mathematica

6. hypothesis-cfg hypothesis-cfg Public

   Forked from mvcisback/hypothesis-cfg

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

   Python