Popular repositories Loading

1. PrologTests PrologTests Public

   A few Prolog codes done while practising...

   Prolog 1

2. sat-cnf-converter sat-cnf-converter Public

   A small utility for conversion of Boolean formulae from DIMACS SAT to DIMACS CNF format. Written in C++ language.

   C++

3. ANF ANF Public

   Forked from wspeirs/ANF

   Algebraic Normal Form library for C++

   C++

4. qcircuit qcircuit Public

   Forked from CQuIC/qcircuit

   A quantum circuit drawing application

   TeX

5. keyczar keyczar Public

   Forked from google/keyczar

   Easy-to-use crypto toolkit

   HTML

6. PySideSummer PySideSummer Public

   Forked from EricThomson/PySideSummer

   PySide port of Summerfield's book 'Rapid GUI Programming with Python and Qt.'

   Python