Pinned Loading

1. FunWithRewriting FunWithRewriting Public

   Term Rewriting stuff

   OCaml 4

2. AdventOfCode2025 AdventOfCode2025 Public

   Advent of code 2025 to learn some Rust.

   Rust

3. Sy2CPP Sy2CPP Public

   Slash

4. Thmper Thmper Public

   An "interactive" Theorem Prover for First-order Logic

   OCaml

5. PropositionalLogic PropositionalLogic Public

   OCaml

6. nuTerm nuTerm Public

   Python