cjerdonek

cpython

The Python programming language

pyenv

Simple Python version management

pip

The Python package installer

trio

Trio – a friendly Python library for async concurrency and I/O

whitenoise

Radically simplified static file serving for Python web apps

h2

HTTP/2 State-Machine based protocol implementation

arlo

QED

Repository for the QED interactive text and possible extensions

vip-specification

The Voting Information Project XML specification.

rcv

Ranked Choice Voting Universal Tabulator

trio-websocket

WebSocket client and server implementation for Python Trio

kubernetes-sticky-node-scheduler

A custom Kubernetes scheduler that places variants of a pod on the same node

vxsuite

datasf.github.io

The website for DataSF - empowering use of the City's data

find-fsevents-bugs

k8senv

A simple way to manage your Kubernetes contexts

ColoradoRLA

Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.

open-rcv-tests

Public test data for ranked choice voting election software

aws-keyring

Easier & more secure management of your AWS keys & MFA tokens

project-recommendations

The source files for the open source voting system project recommendations of San Francisco's Open Source Voting System Technical Advisory Committee

osv-results-reporter

Open Source Voting Results Reporter (ORR) - election results report generator (HTML/PDF/XLSX)

sfmoci.github.io

Portal for the City and County of San Francisco's open source projects

python-argparse

Fork of Python's argparse adding features and improving hackability

senmf

Shift-Equivariant (Convolutive) NMF with Sparseness Constraints

dvsorder

This program illustrates and tests for the DVSorder vulnerability

audit-irv-cp

Code for generating and running ballot-level comparison audits for IRV elections.

OSVTAC.github.io

Official website of the San Francisco Open Source Voting System Technical Advisory Committee

tts-public-comments

Collection of public comments that TTS makes on proposed federal policies.

formal-rcv

Formal specifications of ranked choice voting and related developments

audit-irv-bp

Code for generating and running ballot polling audits for IRV elections.