Jacques-Henri Jourdan

@jhjourdan

Open GitHub

🇫🇷 Paris

CNRS, LMF

Profile age: over 13 years

Updated 13 days ago

52 followers • 1 following

Contacts

http://jhjourdan.mketjh.fr

Repositories

C11parser

207

updated over 1 year ago • age over 9 years

OCaml67.1%

Yacc17.9%

C9.6%

Perl3.4%

Makefile2.0%

SIMD-math-prims

105

updated over 5 years ago • age almost 11 years

C++53.8%

C46.2%

statmemprof-emacs

updated over 5 years ago • age about 8 years

OCaml100.0%

ocaml

updated about 5 years ago • age over 10 years

OCaml83.7%

C11.5%

Shell2.8%

Standard ML1.1%

Makefile0.9%

coq

updated about 4 years ago • age almost 13 years

OCaml50.2%

Coq48.9%

C0.5%

Shell0.3%

Emacs Lisp0.0%

opam-coq-archive

updated almost 2 years ago • age over 7 years

JavaScript60.9%

Python12.8%

CSS10.3%

Shell9.9%

Makefile6.1%

CompCert

updated about 4 years ago • age about 11 years

Coq48.7%

C39.4%

OCaml10.4%

Assembly1.3%

Makefile0.2%

Contributions

2025
creusot
~97 PRs +573-425
Rust
1,357
61
8
creusot-ide
1 PR +252-161
OCaml
5
0
2024
unison
1 PR +4-7
OCaml
4,929
257
20
creusot
~53 PRs +18,358-28,138
Rust
1,357
61
8
opam-repository
2 PRs +133-0
557
1,210
opam
1 PR +36-0
OCaml
152
176
2023
creusot
~15 PRs +4,737-5,795
Rust
1,357
61
8
2022
unison
1 PR +30-77
OCaml
4,929
257
20
creusot
~43 PRs +17,603-5,546
Rust
1,357
61
8
opam
1 PR +22-0
OCaml
152
176