Pinned Loading

1. Imscribing_Grammar Imscribing_Grammar Public

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

   HTML 2

2. mOMonadOS mOMonadOS Public

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

   Rust 2

3. p4rakernel p4rakernel Public

   Paraconsistent computation layer: Lean 4 formalization of the Imscribing Grammar with Belnap FOUR logic

   Lean 1

4. red-hot_rebis red-hot_rebis Public

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

   Python 1

5. ob3ect ob3ect Public

   generates self-verifying digital ob3ects

   Lean 1

6. MoDoT MoDoT Public

   M⊙nadic ⊙perator-driven ⊙rganismic The⊙rizer - Types mathematical goals into the 12-primitive Imscribing Grammar, dispatches via Belnap FOUR to kernel prover or Witness arm, and verifies in Lean 4.

   Rust