Skip to content

@FreeAndFair Free & Fair

Change the repository type filter

All

    Repositories list

    42 repositories

    • NLP

      Public
      Natural Language Processing tool used to build domain models
      TeX
      •1•1•1•0•Updated Oct 15, 2024Oct 15, 2024

    • tamarin-prover

      Public
      Main source code repository of the Tamarin prover for security protocol verification.
      Haskell
      •
      GNU General Public License v3.0
      •136•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • Cryptographic-Models

      Public
      Formal models of cryptography.
      0•0•0•0•Updated Sep 28, 2024Sep 28, 2024

    • ElectionGlossary

      Public
      Glossary of election terms including those used in the VVSG.
      7•1•0•0•Updated Aug 20, 2024Aug 20, 2024

    • JMLUnitNG

      Public
      An automated unit test framework for JML-annotated Java projects.
      Java
      •
      Other
      •2•2•1•0•Updated Feb 23, 2023Feb 23, 2023

    • Transparency

      Public
      Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.
      1•2•0•0•Updated Nov 2, 2021Nov 2, 2021

    • Qubie

      Public
      Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.
      C
      •
      Other
      •5•17•2•0•Updated Jul 13, 2020Jul 13, 2020

    • ElectionGuard-SDK-Specification

      Public
      This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and implementation decisions, as well as an overview of voting system components and functionality.
      JavaScript
      •
      MIT License
      •15•1•0•0•Updated Mar 6, 2020Mar 6, 2020

    • electionguard

      Public
      ElectionGuard is a set of open source software components that can be used to create and publish end to end veriable elections as well create a publishable artifact for ballot comparison audits.
      MIT License
      •130•0•0•0•Updated Feb 28, 2020Feb 28, 2020

    • electionguard-c

      Public
      This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremony, ballot encryption, encrypted ballot tally, and partial decryptions for knowledge proofs of trustees.
      C
      •
      MIT License
      •57•0•0•0•Updated Feb 22, 2020Feb 22, 2020

    • electionguard-verifier

      Public
      The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard SDK
      Rust
      •
      MIT License
      •21•0•0•0•Updated Feb 13, 2020Feb 13, 2020

    • OpenRLA

      Public
      Free & Fair's open source RLA support software.
      Coq
      •
      Other
      •3•5•35•1•Updated Dec 31, 2018Dec 31, 2018

    • ColoradoRLA

      Public
      Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
      pythonjavagovernmentsecuritytypescriptpostgresqlauditcivic-techelections
      Java
      •
      Other
      •8•21•82•11•Updated Nov 5, 2018Nov 5, 2018

    • evoting-systems

      Public
      Archive of existing evoting systems created by others.
      HTML
      •5•19•3•0•Updated Aug 22, 2018Aug 22, 2018

    • STAR-Vote

      Public
      STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
      Haskell
      •
      Other
      •6•30•0•0•Updated Jun 26, 2018Jun 26, 2018

    • OpenCount

      Public
      OpenCount vote counting application
      Python
      •
      Other
      •5•7•0•0•Updated Dec 19, 2017Dec 19, 2017

    • Bibliography

      Public
      A repository containing books, papers, reports, and standards relevant to our R&D.
      0•0•0•0•Updated Jul 15, 2017Jul 15, 2017

    • election-analysis

      Public
      Various kinds of analysis on raw election data.
      R
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017

    • eRAISE

      Public
      An Eclipse based Development Environment for the RAISE formal method.
      TeX
      •
      Other
      •1•0•0•0•Updated May 16, 2017May 16, 2017

    • BON

      Public
      BONc is a parser and typechecker for the Business Object Notation (BON).
      Yacc
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017

    • ElectionSecurity101

      Public
      A web-based demonstration that illustrates the relative security of various voting methods in common use in the United States.
      Java
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017

    • Tabulator

      Public
      The Free & Fair Tabulator tallies digital Cast Vote Records, specified in an open JSON-based format, into an election result. The Tabulator is formally specified in BON and Coq, and is implemented via extraction to Haskell from Coq and in SPARK.
      Coq
      •
      Other
      •0•3•0•0•Updated May 16, 2017May 16, 2017

    • formal-rcv

      Public
      Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
      Coq
      •
      Other
      •0•3•0•0•Updated May 16, 2017May 16, 2017

    • RLA

      Public
      Artifacts Relating to Risk Limiting Audits
      Coq
      •
      Other
      •1•1•0•0•Updated May 16, 2017May 16, 2017

    • DIVS

      Public
      A rigorously engineered tabulator for the Danish list-based voting scheme.
      Java
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017

    • Votail

      Public
      Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.
      HTML
      •
      Other
      •3•1•0•0•Updated May 16, 2017May 16, 2017

    • KOA

      Public
      KOA is a remote voting system experiment conducted in the Netherlands circa 2004.
      Java
      •
      Other
      •0•1•0•0•Updated May 16, 2017May 16, 2017

    • BON_IDE

      Public
      The BON IDE for Eclipse.
      Java
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017

    • BONSemanticPropertiesPlugin

      Public
      An Eclipse plugin that supports semantic properties and their refinements between BON specification and Java implementation.
      Java
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017

    • BONc

      Public
      A parser and typechecker for the textual Business Object Notation (BON).
      Java
      •
      Other
      •0•0•0•0•Updated May 16, 2017May 16, 2017