resource-reasoning/jscert_dev
This repository is now abandoned in favour of using
Developer Profile
resource-reasoning
Discovered public repositories for resource-reasoning in the GitHub catalog.
resource-reasoning/Permissions
A first-order theory of permissions
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.