-
-
SHANGRLA Public
Forked from pbstark/SHANGRLASets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits
Python GNU Affero General Public License v3.0 UpdatedMay 9, 2025 -
ConcreteSTV Public
Forked from AndrewConway/ConcreteSTVSTV vote counting for various actual jurisdictions.
Rust UpdatedMar 18, 2025 -
margin-audit Public
Ballot-Margin Audit Using Error Rates
Python GNU Affero General Public License v3.0 UpdatedJan 25, 2025 -
rairepy Public
Forked from michelleblom/rairepyPython implementation of RAIRE for IRV RLAs
Python GNU Affero General Public License v3.0 UpdatedDec 8, 2024 -
-
-
-
chuffed Public
Forked from chuffed/chuffedThe Chuffed CP solver
C++ MIT License UpdatedMay 2, 2022 -
CP2020-Models Public
Models used for generating the results for my CP2020 paper
Mozilla Public License 2.0 UpdatedSep 9, 2020 -
cayman Public
Forked from pages-themes/caymanCayman is a Jekyll theme for GitHub Pages
CSS Creative Commons Zero v1.0 Universal UpdatedAug 18, 2019 -
-
-
csv2latex Public
Program for converting a CSV-file to one or more LaTeX-tables in the tabular environment.
-
ProgressiveMatricesGenerator Public
Automatically generate progressive matrix tests
-
PrimeGenerator Public
Generate prime numbers without using division
C GNU General Public License v2.0 UpdatedNov 14, 2015 -
{{ message }}