mukeshtiwari/formalized-voting
Public repository.
Public GitHub Catalog
Discovered Nov 4, 2026
mukeshtiwari / ABCDEFGHPPP
(AB - CD = EF) + GH = PPP problem
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.
#54738170GitHub System ID
mukeshtiwariOrganization / User
PublicVisibility
ActiveCatalog Status
More from mukeshtiwari
mukeshtiwari/coq-graph
This is coq graph library taken from graph-basics.
mukeshtiwari/sicp
codes related to structure and interpretation of computer programs
mukeshtiwari/ud120-projects
Starter project code for students taking Udacity ud120