Free & Fair
Open source, high assurance election technology for all.
- 8 followers
- Portland, OR
- http://www.freeandfair.us/
- contact@freeandfair.us
Pinned Loading
Repositories
Showing 10 of 51 repositories
- VoteSecure Public
VoteSecure, Free & Fair's core cryptographic library for the Mobile Voting Project
FreeAndFair/VoteSecure’s past year of commit activity - Transparency Public
Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.
FreeAndFair/Transparency’s past year of commit activity - cryptol-specs Public Forked from GaloisInc/cryptol-specs
Specifications of cryptographic algorithms in Cryptol
FreeAndFair/cryptol-specs’s past year of commit activity - setup-texlive-action Public Forked from teatimeguest/setup-texlive-action
A GitHub Action to set up TeX Live
FreeAndFair/setup-texlive-action’s past year of commit activity - commitlint-pre-commit-hook Public Forked from alessandrojcm/commitlint-pre-commit-hook
A pre-commit hook for commitlint
FreeAndFair/commitlint-pre-commit-hook’s past year of commit activity - CodingStandards Public
FreeAndFair/CodingStandards’s past year of commit activity - changed-files Public Forked from tj-actions/changed-files
Github action to retrieve all (added, copied, modified, deleted, renamed, type changed, unmerged, unknown) files and directories. FreeAndFair/changed-files’s past year of commit activity - tamarin-prover Public Forked from tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
FreeAndFair/tamarin-prover’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…