adamduracz/gov
GOV online voting
Public GitHub Catalog
Discovered Oct 2, 2026
adamduracz / free-programming-books
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#25794471GitHub System ID
adamduraczOrganization / User
PublicVisibility
ActiveCatalog Status
More from adamduracz
adamduracz/acumen-dev
Mirror of official Acumen repository
adamduracz/leon
The Leon system for verification, synthesis, and more.
adamduracz/polypaver
A theorem prover specialised in deciding inequalities of non-linear real and floating-point expressions using rigorous polynomial approximations. Includes tools for verifying floating-point SPARK 2005 programs.