Rankings
Badges
/
fsestini
Rankings
Badges
Overview
Ranks
Repositories
Languages
Filippo Sestini
@fsestini
Refresh
Open GitHub
🇬🇧 Cambridge, England
Arm Ltd.
Profile age: about 11 years
Updated 1 day ago
27 followers • 2 following
Contacts
sestini.filippo@gmail.com
https://fsestini.github.io
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 1
Persona
Influencer
#393,870
#901,650
#521,825
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
tt-in-cubical
13
0
updated over 6 years ago • age over 6 years
Agda
100.0%
zsyntax
12
0
1
updated over 2 years ago • age over 8 years
Haskell
100.0%
nbe-weak-stlc
8
0
updated over 2 years ago • age about 7 years
Agda
100.0%
nbe-mltt-wes
6
0
1
updated over 2 years ago • age over 7 years
Agda
100.0%
mokuro-reader
4
0
updated about 1 year ago • age over 2 years
JavaScript
75.3%
CSS
13.0%
HTML
10.8%
Handlebars
0.9%
SCSS
0.0%
View all 8 repositories
Last Contributions
2025
neogit
1 PR
+5
-3
Lua
4,885
297
3
2024
fix-engine
1 PR
+37
-21
OCaml
53
3
13
imandra-docs
1 PR
+1
-1
Jupyter Notebook
7
3
2019
haskell-polysemy-test
1 PR
+34
-42
Haskell
28
4
2018
multiset
1 PR
+14
-1
Haskell
20
14
View all contributions
Latest Updates
25 Aug 2025
Followers Count:
26
27
11 Aug 2025
Company:
Imandra
Arm Ltd.
Location:
United Kingdom
Cambridge, England
06 Jan 2025
First seen
Subscribe to fsestini's GitHub rank updates in your messenger
WhatsApp
Telegram
