Projects in Awesome Lists by cwgoes
A curated list of projects in awesome lists by cwgoes .
https://github.com/cwgoes/tm-proposer-idris
Formalization of Tendermint proposer election properties
blockchain dlt formal-verification idris tendermint
Last synced: 21 Feb 2025
https://github.com/cwgoes/scisco
A privacy-preserving, auditable, distributed voting system.
Last synced: 21 Feb 2025
https://github.com/cwgoes/snarky-workshop
Hackathon project for Snarky workshop.
Last synced: 01 Jan 2025
https://github.com/cwgoes/haskell-abci
Haskell Application BlockChain Interface (ABCI) Server Library
Last synced: 01 Jan 2025
https://github.com/cwgoes/formality-experiments
Experiments related to the Formality language.
Last synced: 01 Jan 2025
https://github.com/cwgoes/zk-notes
Zero-knowledge protocol construction notes & references.
Last synced: 21 Feb 2025
https://github.com/cwgoes/ibc-idris-ref
Datatypes & reference algorithms for IBC, later to be converted into proofs.
Last synced: 21 Feb 2025
https://github.com/cwgoes/presentations
Miscellaneous presentation archive.
Last synced: 21 Feb 2025
https://github.com/cwgoes/wyvern-dao-proposal-template
Wyvern DAO proposal template & proposal creation guide
Last synced: 21 Feb 2025