Pinned Loading

1. genesisCode genesisCode Public

   AI-first, deterministic programming language with capability-secured effects, replayable execution, and evidence-driven agent workflows.

   Rust 1

2. circle-calculus circle-calculus Public

   Circle Calculus paper-and-proof corpus with Lean sidecars, Python reference models, theorem manifests, and dimensional roadmap.

   Lean 1

3. asi-stack-book asi-stack-book Public

   A governed systems architecture for advanced AI, with ASI as the stress case—living book, reference, and evidence registry.

   Python 3

4. mnemosyne-engine mnemosyne-engine Public

   Graph-governed, voice-first, sleep-augmented learning operating system.

   TypeScript

5. software-grimoire software-grimoire Public

   Operative vocabulary, prompt-spells, and stackcraft for AI-assisted software engineering.

   Python

6. theseus theseus Public

   Project Theseus public implementation companion for The ASI Stack

   Python