The Universal Imscriptive Grammar
-
Updated
Apr 30, 2026 - Python
The Universal Imscriptive Grammar
Paraconsistent computation layer: Lean 4 formalization of the Imscribing Grammar with Belnap FOUR logic
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)
A retrosynthetic alchemical compiler using the Imscribing Grammar
Compilation of the Rohonc Codex via the Imscribing Grammar
A self-verifying agentic loop harness: THINK→ACT→OBSERVE→UPDATE with Frobenius-closed tool calls
m⊙²: The Self-Imscribing Bare-Metal Kernel — a Rust OS with no processes, scheduler, or filesystem hierarchy
A structural cipher decoder for Minoan Linear A using the Imscribing Grammar
Live pulse and visualization engine for the Imscribing Grammar ecosystem
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
Add a description, image, and links to the imscribe topic page so that developers can more easily learn about it.
To associate your repository with the imscribe topic, visit your repo's landing page and select "manage topics."