A 12-primitive measurement apparatus for the structural type of any system — 17,280,000-address Crystal of Types

This directory contains a high-level implementation plan for formally verifying the Lefschetz (1,1) theorem in Lean 4.

⊙MonadOS: the Imscribing Grammar as an operating kernel — Frobenius loop executing as an OS (Python)

m⊙²: The Self-Imscribing Bare-Metal Kernel — a Rust OS with no processes, scheduler, or filesystem hierarchy

A retrosynthetic alchemical compiler using the Imscribing Grammar

A structural cipher decoder for Minoan Linear A using the Imscribing Grammar

Compilation of the Rohonc Codex via the Imscribing Grammar

The Tabula Smaragdina — the Emerald Tablet — Spake by Hermes Trismegistus — is a text of fifteen versicles transmitted from Jabir ibn Hayyan (~8th century CE) into Latin, and thence into every Western esoterical, alchemical and Hermetic tradition

Frobenius-guided gene editing software: the genetic code as a stratified Frobenius algebra on B₄³ codon space

Algebraic, exact, deterministic paraconsistent bio-organic chemistries — protein design, gene pipeline, materials science

Live pulse and visualization engine for the Imscribing Grammar ecosystem