Popular repositories Loading

1. SLAyer SLAyerPublic

   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-repositoryPublic

   Forked from ocaml/opam-repository

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

   Shell 1 1

3. infer inferPublic

   Forked from facebook/infer

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

   OCaml 1

4. csexp-query csexp-queryPublic

   OCaml 1

5. nonstd-z3 nonstd-z3Public

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

   C 1

6. ocp-indent ocp-indentPublic

   Forked from OCamlPro/ocp-indent

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

   OCaml