Giters
Jacques-Henri Jourdan (jhjourdan)

jhjourdan

Geek Repo

44

followers

1

following

4

stars

Company:CNRS, LMF

Location:Paris

Home Page:http://jhjourdan.mketjh.fr

Github PK Tool:Github PK Tool

Jacques-Henri Jourdan's repositories

C11parser

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

Language:OCamlLicense:NOASSERTIONStargazers:188Issues:13Issues:17

SIMD-math-prims

Vectorizable implementations of some mathematical functions

Language:C++License:MITStargazers:102Issues:8Issues:5

statmemprof-emacs

Emacs client for statistical memory profiler

Language:OCamlLicense:MITStargazers:16Issues:5Issues:3

CppBugs

c++ version of BUGS

Language:C++Stargazers:1Issues:2Issues:0

opam-repository

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

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:2Issues:0

arma-log-likelihood

log likelihood functions using the armadillo matrix library

Language:C++License:MITStargazers:0Issues:0Issues:0

CompCert

The CompCert C verified compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:3Issues:0

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:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Language:RustLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

ocaml

Read-only mirror of INRIA SVN

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

rcpp_progress

RcppProgress R package: An interruptible progress bar with OpenMP support for c++ in R packages

Language:C++Stargazers:0Issues:2Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

unison

Unison file synchronizer

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0