Pinned Loading

1. blabber blabber Public

   Rocq Prover

2. wedsa wedsa Public

   Haskell

3. yoo-ofsm yoo-ofsm Public

   Library for Onion FSM syntesis with fast poker rank calculation as an example.

   C 6

4. qazwsx qazwsx Public

   Python

5. checkers checkers Public

   Russian Draught (checkers)

   C 3 1