Popular repositories

1. JS_Parser JS_Parser Public

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

   OCaml 3 4

2. QuICDoc QuICDoc Public

   A collaborative concurrent distributed text editor in your web browser.

   JavaScript 2 2

3. CoLoSL CoLoSL Public

   TeX 1

4. infer infer Public

   Forked from facebook/infer

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

   OCaml 1

5. coq coq Public

   Coq 1

6. Permissions Permissions Public

   A first-order theory of permissions

   Coq 1