Max von Hippel's repositories
MVHSlepian
MATLAB tools & data I generate while working with/on Slepian for NASA
Algebra_Exam_Problems
Post solutions to the practice problems that others can benefit from and verify
An-Introduction-To-Applied-Bioinformatics
Interactive lessons in bioinformatics.
apposcopy
Python3 / PEP8 refactor of Apposcopy/Astroid (WIP)
auditing-dpsgd
Code for Auditing DPSGD
dc25-votingvillage-report
A report to synthesize findings from the Defcon 25 Voting Machine Hacking Village
gossipsub-testing
Gossipsub tests
Henrietta
The natural intersection of being a software engineer and having a taco
hylaa
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
IntentFuzzer
A Tool to fuzz Intent on Android
IOTCaseStudyModel
An Alloy specification for a case study in IoT modeling.
IoTCaseStudySelection
Algorithm 1 from my honors senior thesis at the University of Arizona.
Iowa-Caucus-App
This is essentially a mirror of the copy of the Iowa Caucus App published by Motherboard.
mvreForDane
A minimum viable reproducible example for Dane to try on his machine, of the geodesy issue
neuralkanren
Neural Guided Constraint Logic Programming for Program Synthesis
S3CAMX
Simulate and Scatter with Symbolic Execution
SamsGame
This is an arcade style space shooter video game built by Max von Hippel (19) and Sam von Hippel (9).
SCADASim
The SCADA Simulator is a configurable system that presents itself as a SCADA system within an exercise environment. It has a web-accessible user interface and generates modbus traffic on the network.
Slepian
setup and demo files for the slepian_alpha etc repositories
slepian_alpha
Scalar spherical-harmonic analysis and Slepian functions
slepian_delta
Spatiospectral localization of data from the GRACE mission using Slepian functions
snake
State-based Network AttacK Explorer (SNAKE) code
uom-systems
Units of Measurement Systems