Chris Waites's repositories
descent-to-delete
Erasing data from machine learning models! βοΈ
theorem-prover
Attempts to prove or disprove a given expression using propositional logic and number theory.
geospatial-census
Tool for extracting geospatial information from census data.