nishanttotla/Coding-Problems
Simple toy code problems and practice.
Developer Profile
nishanttotla
Discovered public repositories for nishanttotla in the GitHub catalog.
nishanttotla/predator
A Shape Analyzer Based on Symbolic Memory Graphs
nishanttotla/Hybrid-Parallel-SAT-Solver
Public repository.
nishanttotla/Write-You-a-Haskell
Building a modern functional compiler from first principles.
nishanttotla/ResearchVisualizer
A tool for visualizing and exploring research publications.
nishanttotla/RunningShoeAnalysis
A visualization project for analyzing usage of running shoes under rotation.
nishanttotla/workStats
workStats is a calculator for various statistics, given a list of time intervals with timestamps.
nishanttotla/EECSHome
A backup for my EECS Homepage
nishanttotla/crowdprover
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.