Pinned Loading

1. Paracooba Paracooba Public

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

   C++ 18 4

2. Distrac Distrac Public

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

   C++

3. HARPTech/RVerify 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 OpenGL-Injector Public

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

   C 7 1

5. SFML-Sidescroller-Revived SFML-Sidescroller-Revived Public

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

   C++

6. KoradControl KoradControl Public

   Small controller program for Korad laboratory power supplies.

   C++ 3