adamduracz/gov
GOV online voting
Public GitHub Catalog
Discovered Sep 26, 2026
adamduracz / formal
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.
#6692429GitHub 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/free-programming-books
Public repository.