Pinned Loading

1. RocqSATRocqSATPublic

   A formal verification of an abstract SAT solving transition system.

   Rocq Prover 7 1

2. binary-banter/fast-game-of-lifebinary-banter/fast-game-of-lifePublic

   Rust 15 1

3. binary-banter/test-each-filebinary-banter/test-each-filePublic

   Rust 15 3

4. maze_solver_rustmaze_solver_rustPublic

   Generate, display and solve mazes in an animated way in the terminal.

   Rust 8

5. orthorioorthorioPublic

   Hobby project to solve complex multi-agent pathfinding problems using Factorio's conveyor belts.

   MiniZinc 5

6. universaluniversalPublic

   Code for universal and scalable automation of GT:NH multi-block machines.

   Lua 8 4