noogram

Popular repositories Loading

1. cosmon cosmon Public

   Stateless CLI giving AI coding agents persistent identity, a typed lifecycle, and crash-recovery. Self-hostable, AGPL-3.0.

   Rust 6 3

2. oxymake oxymake Public

   Next-generation workflow orchestration in Rust

   Rust 2

3. godel-kernel godel-kernel Public

   Machine-checkable companion to 'After Gödel: A Constitution Without Guardians' — TLA+ specs + reproducible model-check (./reproduce.sh). AGPL-3.0.

   TLA

4. homebrew-tap homebrew-tap Public

   Homebrew tap for cosmon — brew install noogram/tap/cosmon

   Ruby

5. sporarium sporarium Public

   Sporarium — nursery and acceptance bench for cosmon spores: shareable, parameterizable mission templates (pure config), proven from the exact package a recipient receives, with TLA+-sealed DAGs and…

   TLA