Root Fontana constitutional compiler. Rust components, Lean 4 proofs, deterministic execution engine.
rustlean4
GitHub →
Zero-dependency Python compilers: XML-to-SVG scene rendering and constraint graph visualization.
python
GitHub →
Non-recursive prism compiler in OCaml. Deterministic carrier canonicalization, WORM sealing.
ocaml
GitHub →
Three runtimes, one WORM chain. WASM Pyodide sandbox, 6502 Sovereign VM, M5 ARM64 compatibility bridge.
wasmpython6502 asm
GitHub →
Virtual machine for governed autonomous agents. Constitution engine, WORM ledger, bash, browser.
pythonjavascript
GitHub →
Complete LLM agent dev environment. C Win32 IDE, Python inference, NASM x86-64 runtime, 34 tools.
cpythonnasm
GitHub →
Macro virtual machine for perplexity-guided code generation and evaluation.
python
GitHub →
Macro processing engine for sovereign code generation with deterministic expansion.
python
GitHub →
Test harness for MACROGROK with deterministic replay and verification.
python
GitHub →
Bare-metal OS with direct syscall interface for sovereign agent execution.
casm
GitHub →
Zero-coordination cryptographic protocol. Hardware-bound + temporal-bound keys, ghost port encryption.
python
GitHub →
Inverted monorepo. Apple II universal machine with sovereign overlay. Live on GitHub Pages.
javascript6502 asm
GitHub →
Sovereign etymology oracle on TempleOS fork. Word root mapping, WORM-sealed query receipts.
hollyc
GitHub →
Sovereign LISP machine. Semantic knowledge layer, EmojiScript bytecode, LTMS truth maintenance.
clojurelean4
GitHub →
Neural-inspired regex engine with formal pattern matching and sovereign execution.
python
GitHub →
Browser playground implementing denotational semantics matching the Lean 4 spec for Sovereign Array Language.
javascriptlean4
GitHub →