3x SDE Intern @ AWS | B.S. CS @ CSI ’27 | Minor in Mathematics
- New York City
Pinned Loading
-
-
interleave
interleave PublicExplicit-state model checker for concurrent programs. Explores thread interleavings, checks invariants, and reports replayable failing traces. Java + Gradle.
Java
-
FoodSense
FoodSense PublicFoodSense is a Java Swing desktop app for scanning grocery barcodes and instantly viewing product nutrition. It supports live barcode scanning via your webcam (JavaCV + ZXing) or manual barcode ent…
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



