m⊙²: The Self-Imscribing Bare-Metal Kernel — a Rust OS with no processes, scheduler, or filesystem hierarchy
-
Updated
Oct 4, 2026 - Lean
m⊙²: The Self-Imscribing Bare-Metal Kernel — a Rust OS with no processes, scheduler, or filesystem hierarchy
⊙MonadOS: the Imscribing Grammar as an operating kernel — Frobenius loop executing as an OS (Python)
generates self-verifying digital ob3ects
The Characteristica Universalis | The Lapis | The Graal | The Universal Dual Frame SIC-POVM
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
The Universal Imscriptive Grammar
Live pulse and visualization engine for the Imscribing Grammar ecosystem
Paraconsistent Lean 4 formalization | 4⊙4 ---> 16_3 | Imscribing Grammar
This directory contains a high-level implementation plan for formally verifying the Lefschetz (1,1) theorem in Lean 4.
Compilation of the Rohonc Codex via the Imscribing Grammar
Ingests Any Code or Binary and Regurgitates it Whole in IMASM
A retrosynthetic alchemical compiler using the Imscribing Grammar
A self-verifying agentic loop harness: THINK→ACT→OBSERVE→UPDATE with Frobenius-closed tool calls
Meta-Mathematical Morphogenesis
G-m⊙²: The Self-Imscribing Bare-Metal Kernel — a Rust OS with no processes, scheduler, or filesystem hierarchy - Desktop Topological Quantum Computation
Public-facing documents for the Imscribing Grammar corpus (papers, freezes, catalogs).
A structural cipher decoder for Minoan Linear A using the Imscribing Grammar
To associate your repository with the imscribe topic, visit your repo's landing page and select "manage topics."