Stars
robertzhidealx / cc-lemma
Forked from cole-k/cc-lemmaRefreshing automation for inductive equational proofs using e-graphs
Refreshing automation for inductive equational proofs using e-graphs
« usbkill » is an anti-forensic kill-switch that waits for a change on your USB ports and then immediately shuts down your computer.
Synthesizing action selection policies from noisy, low-level demonstrations
Firmware for the Stampede RoboMaster team at UT Austin
An app for the HealthHack hackathon that focuses on helping patients remember when to take their medicine and ensures that they take the correct one.
A group video conferencing solution targeted at education to keep students engaged in lessons