#

verifiable-protocol

Here are 2 public repositories matching this topic...

hyperpolymath / vext

Vext — Verifiable, Extensible Communications Protocol (canonical spec, Idris2 proofs, reference implementation)

open-source reproducible-research standards specification extensible communications formal-verification protocol-specification research-software idris2 hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verifiable-protocol

Updated Oct 3, 2026
Shell

hyperpolymath / vcs-ircd

Vext IRC daemon — IRC server built on the Vext verifiable communications protocol

kubernetes rust open-source networking daemon protocol infrastructure-as-code communications vext hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verifiable-protocol

Updated Oct 3, 2026
Rust

Add this topic to your repo

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