Popular repositories Loading

1. pyre-check pyre-check Public

   Forked from facebook/pyre-check

   Performant type-checking for python.

   OCaml

2. semgrep semgrep Public

   Forked from semgrep/semgrep

   Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

   OCaml

3. ocaml ocaml Public

   Forked from ocaml/ocaml

   The core OCaml system: compilers, runtime system, base libraries

   OCaml

4. reason reason Public

   Forked from reasonml/reason

   Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

   OCaml

5. google-drive-ocamlfuse google-drive-ocamlfuse Public

   Forked from astrada/google-drive-ocamlfuse

   FUSE filesystem over Google Drive

   OCaml

6. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C, C++, and Objective-C

   OCaml