Pinned Loading

1. deckmaste.rs deckmaste.rs Public

   A Magic: The Gathering rules engine in Rust

   Rust 3

2. mtg-rules mtg-rules Public

   Shell

3. jj-sensei jj-sensei Public

   Teach your agents Jujutsu.

   Python

4. jj-kata jj-kata Public

   Safe Jujutsu workspace coordination for parallel agents, with optional file-backed Kanban.

   Python

5. idris2-guide idris2-guide Public

   Makes coding agents productive and rigorous in Idris 2: an error decoder, authoring discipline that keeps properties in the types, a full treatment of proof and impossibility, and compiler-driven e…

   Python

6. jj-workflow jj-workflow Public archive

   Shell