Local Resource Reasoning

Local Resource Reasoning's repositories

Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain

Language:OCaml3 22 6

A collaborative concurrent distributed text editor in your web browser.

Language:JavaScript200

Language:TeX100

No-change clone of Facebook's infer, for autobuild purposes

Language:OCamlNOASSERTION1 110

Modified dependency of JS_Parser

Language:JavaApache-2.0000

Docker images used for various testing purposes

Language:Dockerfile000

Language:TeX000

000

The Coq development for Iris (mirrored)

Language:CoqNOASSERTION000

000

This repository is now abandoned in favour of using

Language:CoqNOASSERTION022 37

Just a holding page

Language:CSS000

Language:Coq0170

ECMAScript parsing infrastructure for multipurpose analysis

Language:JavaScriptBSD-2-Clause000

A first-order theory of permissions

Language:Coq000

distributed test262 test runner

Language:Shell000

Python web interface to jscert test results database

Language:Python000