- Rock-and-Run 5 iPhone App that syncs your playlist to your running speed.
- PyCUTE 3 An concolic unit testing environment for Python based on DART and CUTE. Generates test inputs to programs to get maximal branch path coverage.
- gitignore 1 A collection of useful .gitignore templates
- Misc 1 Miscellaneous files and small personal projects
- parsats 1 An attempt at an optimized parallel and distributed SAT and SMT solver.
Contributions in the last year 0 total Oct 9, 2014 – Oct 9, 2015
Longest streak 0 days No recent contributions
Current streak 0 days No recent contributions