Rankings
Badges
/
W95Psp
Rankings
Badges
Overview
Ranks
Repositories
Languages
Lucas Franceschino
@W95Psp
Refresh
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
Profile Overview
Global
France
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in France
Advanced 5
Persona
Contributor
#12,196
#4,809
#7,277
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
verified-abstract-interpreter
10
2
updated almost 4 years ago • age about 4 years
F*
46.0%
TeX
31.2%
JavaScript
13.5%
Nix
5.7%
Python
3.6%
CleanForVSCode
Archived
4
1
updated over 3 years ago • age about 8 years
TypeScript
100.0%
StarCombinator
2
1
updated over 5 years ago • age almost 7 years
F*
85.2%
Makefile
5.8%
Nix
4.3%
OCaml
3.2%
Shell
1.5%
fpm
0
1
updated about 3 years ago • age about 4 years
Nix
43.8%
F*
36.6%
Shell
10.6%
JavaScript
6.5%
OCaml
2.5%
test-hydra
0
0
updated over 3 years ago • age over 3 years
Nix
100.0%
Last 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
View all contributions
Latest Updates
03 Oct 2025
Followers Count:
33
34
04 Sep 2025
Organizations Count:
0
1
08 Jan 2025
First seen
Subscribe to W95Psp's GitHub rank updates in your messenger
WhatsApp
Telegram
