Jacques-Henri Jourdan

@jhjourdan

Open GitHub

🇫🇷 Paris

CNRS, LMF

Profile age: about 13 years

Updated 10 days ago

49 followers • 1 following

Contacts

http://jhjourdan.mketjh.fr

Repositories

C11parser

205

updated over 1 year ago • age over 9 years

OCaml67.1%

Yacc17.9%

C9.6%

Perl3.4%

Makefile2.0%

SIMD-math-prims

103

updated over 5 years ago • age over 10 years

C++53.8%

C46.2%

statmemprof-emacs

updated over 5 years ago • age almost 8 years

OCaml100.0%

ocaml

updated almost 5 years ago • age over 10 years

OCaml83.7%

C11.5%

Shell2.8%

Standard ML1.1%

Makefile0.9%

coq

updated almost 4 years ago • age almost 13 years

OCaml50.2%

Coq48.9%

C0.5%

Shell0.3%

Emacs Lisp0.0%

opam-coq-archive

updated over 1 year ago • age over 7 years

JavaScript60.9%

Python12.8%

CSS10.3%

Shell9.9%

Makefile6.1%

CompCert

updated almost 4 years ago • age almost 11 years

Coq48.7%

C39.4%

OCaml10.4%

Assembly1.3%

Makefile0.2%

Contributions

2025
creusot
~67 PRs +3,013-3,727
Rust
1,326
60
5
creusot-ide
1 PR +252-161
OCaml
5
0
2024
unison
1 PR +4-7
OCaml
4,842
250
19
creusot
~53 PRs +18,358-28,138
Rust
1,326
60
5
opam-repository
2 PRs +133-0
552
1,201
opam
1 PR +36-0
OCaml
149
173
2023
creusot
~15 PRs +4,737-5,795
Rust
1,326
60
5
2022
unison
1 PR +30-77
OCaml
4,842
250
19
creusot
~43 PRs +17,603-5,546
Rust
1,326
60
5
opam
1 PR +22-0
OCaml
149
173