Explore @FreeAndFair Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

C#

Crystal

Haskell

Objective-C

C++

Lua

Jupyter Notebook

Clojure

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

C++

Go

Rust

Zig

Scala

Elm

PHP

C

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇳🇨 New Caledonia

🇳🇦 Namibia

🇨🇺 Cuba

🇻🇺 Vanuatu

🇬🇷 Greece

🇨🇾 Cyprus

🇪🇬 Egypt

🇧🇬 Bulgaria

All Countries Compare Countries

Free & Fair (@FreeAndFair)

FreeAndFair

Stars
123
Global Org. Rank 52,284 (Top 17 %)
Registered almost 9 years ago
Most used languages

Java
35.3 %

Coq 23.5 %

HTML
11.8 %

C#
5.9 %

C
5.9 %

Haskell
5.9 %

Python
5.9 %

Assembly
5.9 %
Location 🇺🇸 United States
Country Total Rank 39,273
Country Ranking

Coq 66

Haskell
502

Assembly
1,198

HTML
5,486

Java
5,783

C
6,141

C#
9,680

STAR-Vote

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

ColoradoRLA

Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.

evoting-systems

Archive of existing evoting systems created by others.

Qubie

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

OpenCount

OpenCount vote counting application

dvl

The Digital Voter List system—experiments in electronic poll books for Denmark.

OpenRLA

Free & Fair's open source RLA support software.

formal-rcv

Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq

v4

The DemTech Kiosk Voting System.

Tabulator

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.

JMLUnitNG

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

RLA

Artifacts Relating to Risk Limiting Audits

CLOPS

Command Line OPtionS parser and documentation generator for Java.

logging

The DemTech verified elections logging system.

AutoGrader

Eclipse plugin that automatically grades a Java software project based upon guidelines specified by an instructor.

KOA

KOA is a remote voting system experiment conducted in the Netherlands circa 2004.

Transparency

Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.

Votail

Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.