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

Profile Overview

Global France

Global Rank

Master 5

Persona

Contributor

#97,710

#92,220

#259,653

Explore Ranks

Top 3 Languages By Stars

All Languages

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

View all 7 repositories

Last 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

View all contributions

Latest Updates

01 Nov 2025
Followers Count:51 52
03 Oct 2025
Followers Count:49 51
08 Jan 2025
First seen

Subscribe to jhjourdan's GitHub rank updates in your messenger

WhatsApp Telegram