GitHub topics: verifiability
signalbuilds/.github
Readme
Size: 2.07 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
trustops/awesome-trustops
A list of tools and methods for building trustworthy software following TrustOps principles.
Size: 750 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
gov4git/gov4git
Decentralized governance for Git communities
Language: Go - Size: 16.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 156 - Forks: 16
RamonMeffert/ltp-verifiability 📦
Course project on prompt engineering for automated verifiability checking of online user comments.
Language: Python - Size: 3.88 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
GSLiTW/The_Verifiable_IO_Approach
An implementation of the novel way to verify voters' elilgibility in e-voting elections.
Language: Solidity - Size: 85.9 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
sbaloglu/tamarin-codes
Tamarin codes for checking verifiability properties of Helios and Belenios electronic voting protocols regarding various adversary models
Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
