Pinned Loading

1. traf traf Public

   A proof tree viewer that works with Coq through Proof General

   OCaml 24 1

2. Cubing Cubing Public

   Rubik's Cube Solvers, etc.

   Swift 1

3. EOPL-Etudes EOPL-Etudes Public

   OCaml

4. KUE-CHIP2-Tools KUE-CHIP2-Tools Public

   Tools for KUE-CHIP2 CPU: an assembler and a simulator

   Kotlin 1

5. proof-tree proof-tree Public

   Forked from hendriktews/proof-tree

   proof tree display for Proof General

   OCaml

6. toys toys Public

   Haskell