-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
C11parser Public
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
-
unison Public
Forked from bcpierce00/unisonUnison file synchronizer
OCaml GNU General Public License v3.0 UpdatedFeb 21, 2024 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
JavaScript GNU Lesser General Public License v2.1 UpdatedFeb 13, 2024 -
creusot Public
Forked from creusot-rs/creusotdeductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Rust GNU Lesser General Public License v2.1 UpdatedFeb 2, 2024 -
coq Public
Forked from rocq-prover/rocqCoq 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…
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert C verified compiler
-
-
SIMD-math-prims Public
Vectorizable implementations of some mathematical functions
-
statmemprof-emacs Public
Emacs client for statistical memory profiler
-
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
Rust Other UpdatedJul 19, 2017 -
-
arma-log-likelihood Public
log likelihood functions using the armadillo matrix library
C++ MIT License UpdatedOct 17, 2015 -
rcpp_progress Public
Forked from kforner/rcpp_progressRcppProgress R package: An interruptible progress bar with OpenMP support for c++ in R packages
C++ UpdatedDec 10, 2014
{{ message }}