iutt

Star

Here are 2 public repositories matching this topic...

umpolungfish / mOMonadOS

Sponsor

Star

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

Updated Aug 12, 2026
Rust

umpolungfish / MoDoT

Sponsor

Star

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.

theorem-proving type-theory category-theory formal-verification clink lean4 belnap-logic sic-povm agentic-ai paraconsistent-logic imscribing-grammar imasm frobenius-verification dialetheism iutt

Updated Aug 12, 2026
Rust

Improve this page

Add a description, image, and links to the iutt topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the iutt topic, visit your repo's landing page and select "manage topics."

Learn more