Nishant Totla nishanttotla
- University of California, Berkeley
- Joined on
- crowdprover 1 Crowdprover is a crowdsourcing platform for program verification using crowdsourcing. The frontend mainly uses jQuery, among other frameworks. The backend is built in Python using Google App Engine.
- cpachecker 0 CPAchecker, the Configurable Software-Verification Platform
- EECSHome 0 A backup for my EECS Homepage
- homebrew 0 The missing package manager for OS X.
- Hybrid-Parallel-SAT-Solver 0
Contributions in the last year 44 total Apr 25, 2014 – Apr 25, 2015
Longest streak 6 days December 10 – December 15
Current streak 0 days Last contributed