Dorian Lesbre

@dlesbre

Open GitHub

🇫🇷 Paris, France

CEA List

Profile age: over 6 years

Updated 10 days ago

16 followers • 15 following

Contacts

https://www.normalesup.org/~dlesbre/

in/dorian-lesbre-78a002122

https://orcid.org/0000-0002-4328-6753

Profile Overview

Global France

Global Rank

Advanced 4

Persona

Creator

#233,524

#608,983

#870,411

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

bibtex-autocomplete

101

updated 2 months ago • age over 3 years

Python96.5%

TeX1.9%

Makefile1.7%

cephalopode

updated over 3 years ago • age almost 4 years

Haskell97.5%

Makefile1.0%

Shell0.7%

Python0.4%

Dockerfile0.3%

site-interludes

updated 9 months ago • age over 4 years

HTML64.3%

Python33.0%

CSS1.9%

Makefile0.7%

vscoq

updated almost 2 years ago • age over 3 years

OCaml56.1%

TypeScript27.6%

Coq13.7%

CSS2.2%

Nix0.4%

Last Contributions

2025
opam-repository
1 PR +46-0
555
1,207
vscode-ocaml-platform
1 PR +14-2
OCaml
369
81
93
odoc
1 PR +1-1
OCaml
340
101
38
no_color
1 PR +1-0
HTML
287
161
patricia-tree
2 PRs +642-387
OCaml
14
0
3

View all contributions

Latest Updates

01 Oct 2025
Followers Count:15 16
17 Jan 2025
First seen

Subscribe to dlesbre's GitHub rank updates in your messenger

WhatsApp Telegram