Pinned Loading

1. openmind openmind Public

   Deduction framework with arbitrary mathematical system solver.

   C++ 13 8

2. skrypt skrypt Public

   Serg Kryvonos Relation Yarn Plausibility Tool

   C++ 4 2

3. generator generator Public

   Generator of datasets

   C++ 1

4. overheat overheat Public

   Pausable on overheating task runner

   C++

5. synergy-through-usb synergy-through-usb Public

   Fork of synergy for implementing new features.

   C++ 30 33