Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits

Python implementation of RAIRE for IRV RLAs

A constraint modelling and rewriting library and compiler framework written in rust

The MiniZinc compiler

Program for converting a CSV-file to one or more LaTeX-tables in the tabular environment.

Animation engine for explanatory math videos