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 meta/infer

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

   OCaml 1

4. csexp-query csexp-query Public

   OCaml 1

5. nonstd-z3 nonstd-z3 Public

   OCaml bindings for the Z3 SMT solver that follow the C API

   C 1

6. ocp-indent ocp-indent Public

   Forked from OCamlPro/ocp-indent

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

   OCaml