Pinned Loading

1. llm-activation llm-activation Public

   Python

2. neural-mapping neural-mapping Public

   Python

3. partizan partizan Public

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

   Python

4. astralbase astralbase Public

   Bounded retrograde exploration and proof propagation for constrained chess research

   Rust

5. bitmesh bitmesh Public

   Conservative chess-board decomposition certificates for constrained game research

   Rust

6. thermograph thermograph Public

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

   Rust