Block or report user

Popular repositories

  1. SIMD-math-prims

    Vectorizable implementations of some mathematical functions

    C++ 40 5

  2. C11parser

    A correct C11 parser written using Menhir and OCaml

    OCaml 30 2

  3. CppBugs

    Forked from armstrtw/CppBugs

    c++ version of BUGS

    C++ 1

  4. coq

    Forked from coq/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 develo…


  5. CompCert

    Forked from AbsInt/CompCert

    The CompCert C verified compiler

    Coq 2

  6. rcpp_progress

    Forked from kforner/rcpp_progress

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


19 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

August 2017

jhjourdan has no activity yet for this period.

July 2017

Created a pull request in rust-lang/rust that received 10 comments

Fix in weak_count in Arc in the case the weak count is locked.

In the case the weak count was locked, the weak_count function could return usize::MAX. We need to test this condition manually.

Created an issue in math-comp/math-comp that received 5 comments

make -C mathcomp/ssreflect/ does not work

$ make -C mathcomp/ssreflect/ make : on entre dans le répertoire « /home/jjourdan/math-comp/mathcomp/ssreflect » Generating Makefile.coq for Coq v8…

Seeing something unexpected? Take a look at the GitHub profile guide.