research oslog A low-level, systems optimized Datalog variant. r2b2 Round-by-Round and Ballot-by-Ballot election audits: a workbench for exploration of risk-limiting audits. multivar-hypergeom A small Python package for sampling from the multivariate hypergeometric distribution. fun mls-stats Python Streamlit App to generate quartlery real-estate statistic from MLS data.
