Local Resource Reasoning

Popular repositories Loading

1. JS_Parser JS_ParserPublic

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

   OCaml 3 4

2. QuICDoc QuICDocPublic

   A collaborative concurrent distributed text editor in your web browser.

   JavaScript 2 2

3. CoLoSL CoLoSLPublic

   TeX 1

4. infer inferPublic

   Forked from facebook/infer

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

   OCaml 1

5. coq coqPublic

   Coq 1

6. Permissions PermissionsPublic

   A first-order theory of permissions

   Coq 1