jhjourdan

CNRS, LMFParis

Pinned Repositories

arma-log-likelihood
log likelihood functions using the armadillo matrix library
Language:C++00
C11parser
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
Language:OCaml189 13 1716
CompCert
The CompCert C verified compiler
Language:Coq0 3 02
coq
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 development of machine-checked proofs.
Language:OCaml0 2 00
CppBugs
c++ version of BUGS
Language:C++1 2 00
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Language:Rust0 1 00
ocaml
Read-only mirror of INRIA SVN
Language:OCaml0 2 00
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
SIMD-math-prims
Vectorizable implementations of some mathematical functions
Language:C++102 8 512
statmemprof-emacs
Emacs client for statistical memory profiler
Language:OCaml16 5 35

jhjourdan's Repositories

jhjourdan/C11parser
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
Language:OCaml189 13 1716
jhjourdan/SIMD-math-prims
Vectorizable implementations of some mathematical functions
Language:C++102 8 512
jhjourdan/statmemprof-emacs
Emacs client for statistical memory profiler
Language:OCaml16 5 35
jhjourdan/CppBugs
c++ version of BUGS
Language:C++1 2 00
jhjourdan/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
jhjourdan/arma-log-likelihood
log likelihood functions using the armadillo matrix library
Language:C++00
jhjourdan/CompCert
The CompCert C verified compiler
Language:Coq0 3 02
jhjourdan/coq
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 development of machine-checked proofs.
Language:OCaml0 2 00
jhjourdan/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Language:Rust0 1 00
jhjourdan/ocaml
Read-only mirror of INRIA SVN
Language:OCaml0 2 00
jhjourdan/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript1 0
jhjourdan/rcpp_progress
RcppProgress R package: An interruptible progress bar with OpenMP support for c++ in R packages
Language:C++2 0
jhjourdan/rust
A safe, concurrent, practical language.
Language:Rust2 0
jhjourdan/unison
Unison file synchronizer
Language:OCaml0 0

jhjourdan

Pinned Repositories

arma-log-likelihood

C11parser

CompCert

coq

CppBugs

creusot

ocaml

opam-repository

SIMD-math-prims

statmemprof-emacs

jhjourdan's Repositories

jhjourdan/C11parser

jhjourdan/SIMD-math-prims

jhjourdan/statmemprof-emacs

jhjourdan/CppBugs

jhjourdan/opam-repository

jhjourdan/arma-log-likelihood

jhjourdan/CompCert

jhjourdan/coq

jhjourdan/creusot

jhjourdan/ocaml

jhjourdan/opam-coq-archive

jhjourdan/rcpp_progress

jhjourdan/rust

jhjourdan/unison