Pinned Loading

1. neural-mapping neural-mapping Public

   Python 1

2. partizan partizan Public

   Proof-carrying neural search and exact verification for finite combinatorial-game composition

   Python 1

3. astralbase astralbase Public

   Bounded retrograde exploration and proof propagation for constrained chess research

   Rust

4. bitmesh bitmesh Public

   Conservative chess-board decomposition certificates for constrained game research

   Rust

5. thermograph thermograph Public

   Exact comparison and semantic canonicalization for finite normal-play combinatorial games

   Rust

6. storylight storylight Public

   Privacy-first edge and cloud inference for responsive illustrated reading

   Python 1