Server protocol skeletons (94 protocols, 8 core primitives, 6 connectors) modelled in Idris2 with a Zig FFI. Not yet formally verified end to end: the Idris models are not linked to the Zig code or to proven.
open-source dependent-types zig formal-verification research-software idris2 zig-ffi hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification protocol-skeletons idris2-abi
-
Updated
Oct 25, 2026 - Zig