Pinned Loading

1. mallob mallob Public

   Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

   C++ 60 16

2. lilotane lilotane Public

   Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)

   C++ 29 7

3. krunner-symbols krunner-symbols Public

   A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.

   C++ 118 12

4. runwatch runwatch Public

   Execute a set of commands under homogeneous memory, time, and CPU constraints.

   C++ 1

5. soundsoutofbounds soundsoutofbounds Public

   A songbook about IT and computer science

   TeX 16 5

6. theresa theresa Public

   Theremin Sensor Application

   C++