Free & Fair
Open source, high assurance election technology for all.
- 5 followers
- Portland, OR
- http://www.freeandfair.us/
- contact@freeandfair.us
Pinned Loading
Repositories
Showing 10 of 49 repositories
- MobileVotingCoreCryptography Public
Free & Fair's core cryptographic library for the Mobile Voting Project
FreeAndFair/MobileVotingCoreCryptography’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 - 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 - 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 - 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 - sysmlv2-jupyter-docker Public Forked from gorenje/sysmlv2-jupyter-docker
Create docker image for running SysMLv2 with Jupyter
FreeAndFair/sysmlv2-jupyter-docker’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…