Pinned

1. Paracooba Public

   Distributed and ressource elastic cube-and-conquer SAT & QBF solver

   C++ 8 3

2. Distrac Public

   Distrac: A High-Performance Distributed Event-Based Tracing Tool

   C++

3. HARPTech/RVerify Public

   Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.

   Python 1

4. OpenGL-Injector Public

   A demo/framework for injecting imagery into OpenGL based programs.

   C 5

5. SFML-Sidescroller-Revived Public

   SFML Sidescroller gets revived to be played on the piga console. This time, with less mess (hopefully).

   C++

6. KoradControl Public

   Small controller program for Korad laboratory power supplies.

   C++ 1 1