🎯
Focusing
Pinned Loading
-
U-TRACKR
U-TRACKR PublicForked from azkevin/U-TRACKR
Computer vision based tracking system (proof of concept)
C#
-
JPF-EndlessLoopDetector-Enhancement
JPF-EndlessLoopDetector-Enhancement PublicForked from NS-01/JPF-EndlessLoopDetector-Enhancement
Enhancement to the functionality of an existing JPF listener called EndlessLoopDetector.
Java
-
Pomodoro
Pomodoro PublicXamarin.iOS (C#) mobile app with Azure cloud-based backend service. Allows user to enter notes, tasks, and set timer based on Pomodoro Technique.
C#
-
4312-assignment
4312-assignment PublicThis repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)
TeX
-
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.