Experimental programming language research portfolio — structured equivalence, typed computation, resource systems, topology, and minimal core calculi.
programming-language open-source compiler reproducible-research type-theory language-design formal-verification turing-completeness language-comparison research-software hyperpolymath extended-language-tools epistemic-infrastructure epistemic-computing turing-incompleteness veridical-computing equivalence-aware-computing typed-provenance
-
Updated
Sep 19, 2026 - Shell