8000 VeriVote repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@VeriVote VeriVote

Change the repository type filter

All

    Repositories list

    4 repositories

    • ViRAGe

      Public
      Isabelle
      •
      MIT License
      •1•2•0•0•Updated May 29, 2025May 29, 2025

    • beast

      Public
      BEAST aims to make the verification of voting rules easier
      beastcbmc
      Java
      •
      MIT License
      •1•6•4•0•Updated Mar 13, 2025Mar 13, 2025

    • verifiedVotingRuleConstruction

      Public
      A Framework for the Verified Construction of Fair Voting Rules
      Isabelle
      •8•3•0•0•Updated Dec 12, 2024Dec 12, 2024

    • polyas-core3-open-cred

      Public
      Java
      •0•0•0•0•Updated Feb 8, 2023Feb 8, 2023