Pinned Loading

1. algae algae Public

   Algebraic specification for Claude Code and Codex

   C 10

2. caelum caelum Public

   Temporal Propositional Logic engine

   Rust 1 1

3. LangtonAnt LangtonAnt Public

   Langtons Ant in Haskell

   Haskell 3

4. small small Public

   Typed pure FP where data is syntax sugar for functions

   Ruby 11

5. mutext mutext Public

   Einstein-puzzle game

   HTML 2

6. gkosgrep gkosgrep Public

   Rust parallel grep supporing custom .ignore files

   Rust 2