Pinned Loading

1. Imscribing_Grammar Imscribing_Grammar Public

   The Imscribing Grammar - the Lapis Philosophorum - the Characteristica Universalis - the Crown of Adventure - the Siege Perilous & the Holy Graal

   HTML 1

2. p4rakernel p4rakernel Public

   a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.

   Lean 1

3. red-hot_rebis red-hot_rebis Public

   Imscribing Grammatic Engine for Deterministic, Algebraic, & Exact Bio & Organic Chemistries

   Python

4. mOMonadOS mOMonadOS Public

   m⊙^2 - A bare-metal self-imscribing operating kernel. No processes. No scheduler. No filesystem hierarchy. The kernel IS the Frobenius loop — every tick is a structural self-verification.

   Rust

5. cr3echrz cr3echrz Public

   The cr3echrz framework operationalizes mathematical theorems and self-verifying ob3ects as executable IMASM programs within the Imscribing Grammar

   Python

6. ob3ect ob3ect Public

   a special Frobenius algebra in the monoidal category Prog/~ of programs modulo semantic equivalence, satisfying μ∘δ = id_A

   Lean 1