Popular repositories Loading

1. C11parser C11parser Public

   A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

   OCaml 215 19

2. SIMD-math-prims SIMD-math-prims Public

   Vectorizable implementations of some mathematical functions

   C++ 106 11

3. statmemprof-emacs statmemprof-emacs Public

   Emacs client for statistical memory profiler

   OCaml 17 6

4. CppBugs CppBugs Public

   Forked from armstrtw/CppBugs

   c++ version of BUGS

   C++ 2

5. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   OCaml 2

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 1