resource-reasoning/Permissions
A first-order theory of permissions
Public GitHub Catalog
Discovered Sep 29, 2026
resource-reasoning / jscert_dev
This repository is now abandoned in favour of using
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.
#15930142GitHub System ID
resource-reasoningOrganization / User
PublicVisibility
ActiveCatalog Status
More from resource-reasoning
resource-reasoning/coq
Public repository.
resource-reasoning/JS_Parser
Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain
resource-reasoning/QuICDoc
A collaborative concurrent distributed text editor in your web browser.