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

Profile Overview

Global France

Global Rank

Master 5

Persona

Contributor

#97,060

#90,660

#273,972

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 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%

View all 7 repositories

Last 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

View all contributions

Latest Updates

25 Jul 2025
Followers Count:48 49
01 Apr 2025
Followers Count:49 48
16 Feb 2025
Followers Count:48 49
16 Jan 2025
Followers Count:46 48
08 Jan 2025
First seen

Subscribe to jhjourdan's GitHub rank updates in your messenger

WhatsApp Telegram