benjamincarman
I am a student at Ohio University studying Mathematics and Computer Science in the Honors Tutorial College.
Athens, Ohio
Pinned Repositories
computer-vision-tutorial
Documents, programs, and more as it relates to Spring 2019 tutorial studies in computer vision
cpp-nfold-ILP
A C++ implementation for an n-fold integer linear program solver as described by Altmanová, Knop, and Koutecký.
DenhamSprings
googletest
Google Test
MLCert
Certified Machine Learning
MP2.1_private
puerto-rico-precincts
repairing-redistricting
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 political proportionality in an effort to generate fair districts that combat gerrymandering. It also includes data for testing this model on the state of Ohio which has had historically gerrymandered districts. Finally, it contains code for generating some of this data and for generating colored state maps from the model's output.
googletest
GoogleTest - Google Testing and Mocking Framework
MWU
Verified Multiplicative Weights Update
benjamincarman's Repositories
benjamincarman/cpp-nfold-ILP
A C++ implementation for an n-fold integer linear program solver as described by Altmanová, Knop, and Koutecký.
benjamincarman/repairing-redistricting
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 political proportionality in an effort to generate fair districts that combat gerrymandering. It also includes data for testing this model on the state of Ohio which has had historically gerrymandered districts. Finally, it contains code for generating some of this data and for generating colored state maps from the model's output.
benjamincarman/computer-vision-tutorial
Documents, programs, and more as it relates to Spring 2019 tutorial studies in computer vision
benjamincarman/DenhamSprings
benjamincarman/googletest
Google Test
benjamincarman/MLCert
Certified Machine Learning
benjamincarman/MP2.1_private
benjamincarman/puerto-rico-precincts