Pinned Loading

1. leanprover-community/aesop leanprover-community/aesop Public

   White-box automation for Lean 4

   Lean 240 30

2. htmlbib htmlbib Public

   Create an HTML list of publlications from a BibTeX file

   Rust 1

3. cartouches cartouches Public

   Parses Isabelle LaTeX output into manageable snippets.

   Rust 3

4. prettiest prettiest Public archive

   A Pretty but not Greedy Printer in OCaml

   OCaml 10 2

5. algfinder algfinder Public

   Graphical Rubik's Cube algorithm finder in Rust

   Rust 5

6. sudokusolver sudokusolver Public

   Forked from Henney/sudokusolver

   Java