Pinned Loading

1. FreeAndFair/VoteSecureFreeAndFair/VoteSecurePublic

   VoteSecure, Free & Fair's core cryptographic library for the Mobile Voting Project

   Rust 65 7

2. FreeAndFair/JMLUnitNGFreeAndFair/JMLUnitNGPublic

   An automated unit test framework for JML-annotated Java projects.

   Java 3 2

3. FreeAndFair/QubieFreeAndFair/QubiePublic archive

   Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.

   C 16 5

4. FreeAndFair/STAR-VoteFreeAndFair/STAR-VotePublic archive

   STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.

   Haskell 29 6

5. FreeAndFair/OpenRLAFreeAndFair/OpenRLAPublic archive

   Free & Fair's open source RLA support software.

   Coq 4 3

6. FreeAndFair/ElectionSecurity101FreeAndFair/ElectionSecurity101Public

   A web-based demonstration that illustrates the relative security of various voting methods in common use in the United States.

   Java