Benjamin Hoffner-Brodsky's repositories
dafny
Dafny is a verification-aware programming language
ubuntu-asahi
Native Ubuntu images for Apple silicon hardware
horcrux
Split your file into encrypted fragments so that you don't need to remember a passcode
pls_methods
Sisler dissertation
caste_quotas
Milestone 3 for Paper Replication Final Project — GOV 1006
sample_repo
Optional
croatia_eom
World Bank DIME project analyzing effect of Croatian judiciary end-of-month quotas on judicial outcomes
social_learning
Simulating social learning herding using models from Matthew Rabin at Harvard University
nimbleIV
A tool to iteratively calculate implied volatility for options using web-scraped data
1006_final_project
Final project for GOV 1006 at Harvard
k-nices
Generates animations of k-means clustering over a defined set of k-values to allow for intuitive visual selection of appropriate k-values.
recessive_traits
How do Harvard students' academic paths change in response to anticipating financial hardship?
asylum_seekers
Tracking the flow of Asylum seekers using data from the UN High Commissioner on Refugees
san-francisco-gunshots
Animation of gunshots in San Francisco using data from the ShotSpotter project by the Justice Tech Lab
mueller-report
The ██redacted Mueller Report
harvard-course-enrollments
Visualizing changes in Harvard course enrollment data from 2018 to 2019 to see which classes saw the most drastic changes in undergraduate enrollment
chinese-east-asian-aid
Visualizing Chinese financial public diplomacy towards Cambodia, Indonesia, Vietnam, and Laos from 2000-2016 using data from AidData at William and Mary
owensboro-drug-enforcement
Visualizing enforcement of marijuana-related crimes in Owensboro KY using traffic stop data from the Stanford Open Policing Project
2018-live-poll-results
Data from the 2018 NYT Upshot/Siena live polls