Lucas Franceschino

@W95Psp

Open GitHub

🇫🇷 France

Cryspen

Profile age: over 14 years

Updated 18 days ago

34 followers • 8 following

Contacts

lucas@franceschino.fr

http://lucas.franceschino.fr

Organizations

Repositories

verified-abstract-interpreter

updated almost 4 years ago • age about 4 years

F*46.0%

TeX31.2%

JavaScript13.5%

Nix5.7%

Python3.6%

CleanForVSCode

Archived

updated over 3 years ago • age about 8 years

TypeScript100.0%

StarCombinator

updated over 5 years ago • age almost 7 years

F*85.2%

Makefile5.8%

Nix4.3%

OCaml3.2%

Shell1.5%

fpm

updated about 3 years ago • age about 4 years

Nix43.8%

F*36.6%

Shell10.6%

JavaScript6.5%

OCaml2.5%

test-hydra

updated over 3 years ago • age over 3 years

Nix100.0%

Contributions

2025
FStar
2 PRs +18-15
F*
2,907
243
79
karamel
1 PR +1-1
OCaml
479
67
1
hax
1 PR +753-479
OCaml
317
39
7
libcrux
1 PR +14-14
C
172
26
bertie
1 PR +3-18
F*
125
4
lean4web
1 PR +1-1
TypeScript
112
40
dotfiles
1 PR +12-2
Haskell
45
4
derive-generic-visitor
3 PRs +264-390
Rust
5
1
testify
3 PRs +632-440
Rust
0
0
hax-actions
2 PRs +7-17
0
0