Connecting civic data from public sources to support transparency, interoperability, and civic insights.
This work develops foundational structural constraints on ontological substrates intended to support accountability and interoperability under persistent interpretive disagreement. It establishes what must be true of any such substrate prior to concrete ontology design or implementation.
| Repo | Focus | Status | Description |
|---|---|---|---|
| NeutralSubstrate (Lean 4) | Neutrality constraint |  |
Proves an impossibility result: substrates stable under incompatible extensions must be pre-causal and pre-normative. |
| IdentityRegimes (Lean 4) | Structural necessity |  |
Shows that exactly six identity-and-persistence regimes are necessary and sufficient for accountability-oriented substrates under neutrality and independence assumptions. |
| structural-explainability-paper-100-neutral-substrate | Paper companion | N/A | Narrative exposition of the neutrality result and its formal proof. |
| structural-explainability-paper-200-identity-regimes | Paper companion | N/A | Narrative exposition of the identity-regimes result and its formal proof. |
- Awesome Citizen Science
- Civic Participation Resources
- .github - this organization profile repository
| Repo | Description | CI | Tool |
|---|---|---|---|
| agents-monitor-schema | Track changes to OCD/OpenStates schemas |  |
 |
| agents-monitor-mapping | Extract jurisdiction mappings (OCD / OpenStates) |  |
|
| agents-monitor-bills | Track daily bill activity using OpenStates |  |
|
| agents-monitor-people | Track elected official changes |  |
|
| Web App | Source Repo | Docs |
|---|---|---|
| GeoExplorer | geo-explorer |  |
| Agent Dashboard | app-agents |  |
| Reps App | app-reps |  |
| Knowledge Graph | civic-kg |  |
| Common Ground | civic-common-ground |  |
| Repo | Description | Tests | Docs |
|---|---|---|---|
| civic-data-boundaries-us | U.S. core geo boundaries (states, counties) |  |
 |
| civic-data-boundaries-us-cd118 | U.S. 118th congressional districts |  |
 |
| civic-data-boundaries-us-forests | U.S. National Forests |  |
 |
| civic-data-boundaries-us-mn | Minnesota Boundaries |  |
 |
| Repo | Description | CI | Docs | Tool | PyPI | Python |
|---|---|---|---|---|---|---|
| civic-dev | CLI tool (Zig) | |
 |
 |
N/A | N/A |
| civic-paperkit | Fetch data from .bib files |  |
 |
|
 |
 |
| civic-lib-core | Shared utility library (logging, errors, API) |  |
 |
|
 |
 |
| civic-lib-geo | Geospatial utilities |  |
 |
|
 |
 |
| civic-geo-generator | Geospatial standardization |  |
 |
|
 |
 |
| Repo | Description | CI | Docs | PyPI | Python |
|---|---|---|---|---|---|
| civic-ptag-core-schema | Core JSON Schemas for PTag provenance (core, civic-data, privacy) |  |
N/A | N/A | N/A |
| civic-transparency-ptag-spec | Core provenance and transparency specification |  |
 |
N/A | N/A |
| civic-transparency-py-ptag-types | Python types for PTag spec |  |
 |
 |
 |
| civic-transparency-py-cwe-types | CWE catalog type definitions |  |
 |
 |
 |
| civic-transparency-py-sdk | SDK for transparency simulation and tooling |  |
 |
 |
 |
| civic-transparency-py-cwe-catalog | CWE catalog data and utilities (private) | private | private | private | private |
MIT Licensed · Maintained by Civic Interconnect
