Popular repositories Loading

1. SLAyer SLAyer Public

   Forked from microsoft/SLAyer

   SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

   OCaml 1 1

2. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   Shell 1 1

3. infer infer Public

   Forked from facebook/infer

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

   OCaml 1

4. ocp-indent ocp-indent Public

   Forked from OCamlPro/ocp-indent

   Indentation tool for OCaml, to be used from editors like Emacs and Vim.

   OCaml

5. core core Public

   Forked from janestreet/core

   Jane Street Capital's standard library overlay

   OCaml

6. ocaml ocaml Public

   Forked from ocaml/ocaml

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

   OCaml