Popular repositories Loading
-
-
verifiedVotingRuleConstruction
verifiedVotingRuleConstruction PublicForked from VeriVote/verifiedVotingRuleConstruction
A Framework for the Verified Construction of Fair Voting Rules
Isabelle
-
schulze
schulze Publicschulze election, see https://github.com/mukeshtiwari/EncryptionSchulze/tree/master/code/Workingcode
OCaml
-
lissa-ratlr
lissa-ratlr PublicForked from ardoco/lissa
LiSSA: A Framework for Generic Traceability Link Recovery
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.