Popular repositories Loading

1. oklibrary oklibrary Public

   A research platform and active library for generalised SAT solving

   C++ 33 18

2. CS-242-Algorithms CS-242-Algorithms Public

   Programs for algorithms module

   C++ 6 4

3. sat-2009-internetsite sat-2009-internetsite Public

   All the material which goes on the internet.

   3 2

4. CPU-Frequency-Utility CPU-Frequency-Utility Public

   Some changes/improvements to the "CFU" tool by jdmcdaniel3 from OpenSuse.

   Shell 1

5. Dissertation_Sudoku Dissertation_Sudoku Public

   Forked from YuTingLu/Dissertation_Sudoku

   TeX 1

6. pokergame pokergame Public

   Forked from ceri-de-lloyd/pokergame

   poker from java to C++

   C++ 1