vext
hyperpolymath
Vext — Verifiable, Extensible Communications Protocol (canonical spec, Idris2 proofs, reference implementation)
2
Stars
0
Forks
0
Watchers
Nix
Language
mpl-2.0
License
49.1
SrcLog Score
Growth over time
3 data points · 2026-04-18 → 2026-07-26
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about vext
Question copied to clipboardWhat is the hyperpolymath/vext GitHub project? Description: "Vext — Verifiable, Extensible Communications Protocol (canonical spec, Idris2 proofs, reference implementation)". Written in Nix. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone vext
Clone via HTTPS
git clone https://github.com/hyperpolymath/vext.git
Clone via SSH
[email protected]:hyperpolymath/vext.git
Download ZIP
Download main.zipFound an issue?
Report bugs or request features on the vext issue tracker:
Open GitHub Issues