Hierarchical Morphic Refinement prototype
An HDL for designing and simulating energy-based, probabilistic hardware.
Ballistic transport for high-latency, lossy, or hostile networks.
The Coral Programming Language
A deterministic measurement engine for jagged, noisy, and irregular data.
Geometric measurement of memory access costs.
The Way of Immutable Linux
A strict, cardinality-enforcing configuration language, inspired by CUE.
A from-scratch implementation of a Tiny Recursive Model (TRM) in Zig.
Safe passage between rigorous domain ontologies. A post-Gödel Characteristica Universalis.
