Pinned Loading

1. GPG-Gui GPG-Gui Public

   Linux GUI wrapping around symmetric GPG file encryption.

   Vala 33 1

2. DPLL-SAT-Solver DPLL-SAT-Solver Public

   Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic

   C 1

3. sokoban sokoban Public

   SDL2, C99 single-binary Sokoban implementation

   C

4. Rocket-Launcher Rocket-Launcher Public

   Rocket-Launcher is a fast and lightweight application launcher for linux (Vala, GTK+ 3, GPLv3)

   Vala 8 2

5. diskstats diskstats Public

   No dependency Bash/Python scripts that output diskstats in JSON for integration in monitoring systems

   Shell

6. game-demo game-demo Public

   C++, SDL2 fun

   C++