Pinned Loading

1. repairing-redistricting repairing-redistricting Public

   This repository contains an AMPL model for optimizing a state's legislative districts for compactness, contiguity, integrity, population, and competitiveness. Most importantly, it also considers po…

   C++ 1

2. cpp-nfold-ILP cpp-nfold-ILP Public

   A C++ implementation for an n-fold integer linear program solver as described by Altmanová, Knop, and Koutecký.

   C++ 2

3. computer-vision-tutorial computer-vision-tutorial Public

   Documents, programs, and more as it relates to Spring 2019 tutorial studies in computer vision

   C++

4. OUPL/MWU OUPL/MWU Public

   Verified Multiplicative Weights Update

   OCaml 1

5. MLCert MLCert Public

   Forked from OUPL/MLCert

   Certified Machine Learning

   Coq