Popular repositories Loading

1. oklibrary oklibrary Public

   Forked from OKullmann/oklibrary

   A research platform and active library for generalised SAT solving

   C++ 2

2. sat-2009-internetsite sat-2009-internetsite Public

   Forked from OKullmann/sat-2009-internetsite

   All the material which goes on the internet.

   2 1

3. CS-242-Algorithms CS-242-Algorithms Public

   Forked from OKullmann/CS-242-Algorithms

   Programs for algorithms module

   C++ 2

4. Experimental-data Experimental-data Public

   Experimental data derived from work in the OKlibrary.

   Shell 2

5. CoPA CoPA Public

   Forked from Cascading/CoPA

   Cascading plus City of Palo Alto open data

   Java

6. ipython ipython Public

   Forked from ipython/ipython

   Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

   Python