Dandandan/app
DemocracyOS is an online space for deliberation and voting on political proposals. The software aims to stimulate better arguments and come to better rulings.
Public GitHub Catalog
Discovered Oct 6, 2026
Dandandan / wpl-sbv
Checking assertions in GCL using SMT
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.
#33036114GitHub System ID
DandandanOrganization / User
PublicVisibility
ActiveCatalog Status
More from Dandandan
Dandandan/chart
Public repository.
Dandandan/LightSaver
Public repository.
Dandandan/Lazy
Infinite Data Structures for Elm