Popular repositories Loading

1. openmind openmind Public

   Forked from ohhmm/openmind

   Deduction framework with arbitrary mathematical system solver.

   C++ 1

2. generator generator Public

   Forked from ohhmm/generator

   Generator of datasets

   C++ 1

3. mariadb-connector-c mariadb-connector-c Public

   Forked from mariadb-corporation/mariadb-connector-c

   MariaDB Connector/C is used to connect applications developed in C/C++ to MariaDB and MySQL databases.The client library is LGPL licensed.

   C

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

5. libjpeg-turbo libjpeg-turbo Public

   Forked from libjpeg-turbo/libjpeg-turbo

   Main libjpeg-turbo repository

   C

6. skrypt skrypt Public

   Forked from ohhmm/skrypt

   C++