nishanttotla/Coding-Problems
Simple toy code problems and practice.
Public GitHub Catalog
Discovered Sep 26, 2026
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.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8368593GitHub System ID
nishanttotlaOrganization / User
PublicVisibility
ActiveCatalog Status
More from nishanttotla
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.