Thomas Letan

@lthms

Open GitHub

🇫🇷 Paris

Nomadic Labs

Profile age: about 14 years

Updated 13 days ago

109 followers • 11 following

Contacts

https://soap.coffee/~lthms/

@_lthms_

in/thomas-letan-527a352a5

Organizations

Profile Overview

Global France

Rank in France

Master 1

Persona

Influencer

#2,574

#7,779

#1,950

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

spatial-shell

102

updated over 1 year ago • age about 3 years

OCaml94.0%

CSS2.2%

Makefile2.1%

Shell1.8%

FreeSpec

updated almost 2 years ago • age over 7 years

Coq76.6%

OCaml21.8%

Shell1.7%

colorless-themes.el

updated about 5 years ago • age almost 8 years

Emacs Lisp100.0%

chain

updated almost 5 years ago • age over 7 years

Haskell96.2%

Shell3.8%

coq-MiniHTTPServer

updated over 4 years ago • age almost 6 years

Coq82.6%

OCaml13.9%

Shell3.5%

View all 13 repositories

Last Contributions

2024
chains
1 PR +24-0
Kotlin
9,792
7,553
awesome-ocaml
1 PR +1-0
2,999
174
chainlist
1 PR +5-0
JavaScript
2,791
3,059
riot
2 PRs +4-5
OCaml
646
41
8
opam-repository
3 PRs +111-0
555
1,207

View all contributions

Latest Updates

12 Oct 2025
Followers Count:110 109
28 Sep 2025
Followers Count:109 110
Social Accounts:twitter: @_lthms_ twitter: @_lthms_; linkedin: in/thomas-letan-527a352a5
14 Sep 2025
Followers Count:110 109
06 Jan 2025
First seen

Subscribe to lthms's GitHub rank updates in your messenger

WhatsApp Telegram