NewmodelAGPL-3.0
alp-carry
Horn-clause refinement compiled at synthesis time into an x86-64 carry kernel, verified against a portable scalar model.
⚙️ Collection
Compilers and Runtimes
Compilers, virtual machines, emulators, runtime engines and purpose-built languages.
NewmodelAGPL-3.0
bsh-harness
Binary Substrate Harness: zero-dependency, ahead-of-time compiled transformer inference engine.
NewmodelSL-AGPL3-001
cobalt-transformer-twin
Cobalt: a COBOL transformer that parses before it models, running live in the browser.
NewmodelMPL-2.0
semantic-engine
Deterministic pipeline from natural language to IR, Boolean logic, Latin and SUBLEQ.
modelSovereign Source
apple-ii-universal-machine
Inverted monorepo. Apple II universal machine with sovereign overlay. Live on GitHub Pages.
modelSovereign Source
asos-syscall-os
Bare-metal OS with direct syscall interface for sovereign agent execution.
modelTri-License
MACROGROK
Macro processing engine for sovereign code generation with deterministic expansion.
modelTri-License
macrogrok-harness
Test harness for MACROGROK with deterministic replay and verification.
datasetAGPL-3.0
mantra
A deterministic, auditable programming language for ledger operations, cryptographic sealing and verified integer computation.
modelTri-License
neurological-regex
Neural-inspired regex engine with formal pattern matching and sovereign execution.
modelAGPL-3.0
perplexity-macro-vm
Macro virtual machine for perplexity-guided code generation and evaluation.
modelAGPL-3.0
snapkitty-clojure-lisp-bridge
Sovereign LISP machine. Semantic knowledge layer, EmojiScript bytecode, LTMS truth maintenance.
modelSovereign Source
sovereign-array-frontend
Browser playground implementing denotational semantics matching the Lean 4 spec for Sovereign Array Language.
modelTri-License
sovereign-compiler
Root Fontana constitutional compiler. Rust components, Lean 4 proofs, deterministic execution engine.
modelTri-License
sovereign-dual-runtime
Three runtimes, one WORM chain. WASM Pyodide sandbox, 6502 Sovereign VM, M5 ARM64 compatibility bridge.
modelCC0
sovereign-emulator
Virtual machine for governed autonomous agents. Constitution engine, WORM ledger, bash, browser.
modelTri-License
sovereign-engine-v2
Complete LLM agent dev environment. C Win32 IDE, Python inference, NASM x86-64 runtime, 34 tools.
modelAGPL-3.0
sovereign-prism
Non-recursive prism compiler in OCaml. Deterministic carrier canonicalization, WORM sealing.
modelTri-License
sovereign-temporal-root
Zero-coordination cryptographic protocol. Hardware-bound + temporal-bound keys, ghost port encryption.
modelTri-License
sovereign-xml-compiler
Zero-dependency Python compilers: XML-to-SVG scene rendering and constraint graph visualization.
modelCC0
temple-os-oracle
Sovereign etymology oracle on TempleOS fork. Word root mapping, WORM-sealed query receipts.
Commercial license
SnapKitty code is free and open under AGPL-3.0 for open-source use. Building a commercial product or service? A proprietary commercial license from Snapkitty Collective LLC lets you ship SnapKitty code without the AGPL's source-sharing and network-use obligations.