Pinned Repositories
CoLoSL
dockerfiles
Docker images used for various testing purposes
DS
EvalReasoning
infer
No-change clone of Facebook's infer, for autobuild purposes
iris-coq
The Coq development for Iris (mirrored)
JS_Parser
Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain
jscert_dev
This repository is now abandoned in favour of using
QuICDoc
A collaborative concurrent distributed text editor in your web browser.
resource-reasoning.github.io
Just a holding page
Local Resource Reasoning's Repositories
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.
resource-reasoning/CoLoSL
resource-reasoning/infer
No-change clone of Facebook's infer, for autobuild purposes
resource-reasoning/closure-compiler
Modified dependency of JS_Parser
resource-reasoning/dockerfiles
Docker images used for various testing purposes
resource-reasoning/DS
resource-reasoning/EvalReasoning
resource-reasoning/iris-coq
The Coq development for Iris (mirrored)
resource-reasoning/jscert
resource-reasoning/jscert_dev
This repository is now abandoned in favour of using
resource-reasoning/resource-reasoning.github.io
Just a holding page
resource-reasoning/coq
resource-reasoning/esprima
ECMAScript parsing infrastructure for multipurpose analysis
resource-reasoning/Permissions
A first-order theory of permissions
resource-reasoning/runtests
distributed test262 test runner
resource-reasoning/testing-website
Python web interface to jscert test results database