zperumal

2016-aus-senate-audit

To support work on auditing the 2016 Australian Senate elections.

asa-frontend

Frontend for https://github.com/berjc/aus-senate-audit

election-engine

An election simulation platform for implementing and testing post-election audits on range voting and simple plurality contests.

2017-kenya-audit

Code and documentation related to possible audit of 2017 election re-run in Kenya.

2018-me-audits

Code to investigate Bayesian audits on Maine election data

android_kernel_oneplus_sm8150

audit-lab

This repo contains python3 code for running or assisting with post-election audits.

aus-senate-audit

consistent_sampler

Routine for providing 'consistent sampling' (intended for use in election audits).

dividebatur

counts Australian Senate single transferable vote elections, parsing AEC provided data files

EvadeML

An evolutionary framework for evading machine learning-based malware classifiers.

expert-pancake

A news article event aggregator

iOS-8-Swift-Programming-Cookbook

This is the GitHub repository of O'Reilly's iOS 8 Swift Programming Cookbook

Movement

For 2.s996 Movement Project

RIWAVE

Rhode Island RLA project

tinycoin

A small, horrible, cryptocurrency in Python for educational purposes. Should be teachable in an hour or so, good for experimentation.

z3

The Z3 Theorem Prover