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

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 over 7 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%

jsonrpc2

updated about 1 year ago • age about 1 year

OCaml92.6%

Makefile7.4%

cohttp-connpool

updated 5 months ago • age 5 months

OCaml95.3%

Dune4.7%

coq-comparse

updated over 3 years ago • age almost 6 years

Coq92.3%

Shell7.7%

manuscript

updated about 6 years ago • age over 7 years

TeX96.4%

Coq2.8%

Makefile0.3%

Verilog0.3%

Shell0.1%

speccert

updated about 4 years ago • age over 9 years

Coq99.6%

Makefile0.4%

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
chains
1 PR +31-4
Rust
80
101
1
runcat-tray
1 PR +14-12
C
50
10
gluon
2 PRs +2-1
OCaml
8
6
1
teztnets
1 PR +5-0
TypeScript
6
14
docs
3 PRs +68-39
TypeScript
1
16