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 2 days ago
27 followers • 2 following
Contacts
sestini.filippo@gmail.com
https://fsestini.github.io
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%
onyx-wm
3
0
updated over 2 years ago • age about 7 years
Haskell
91.4%
Objective-C
4.8%
C
3.8%
appunti-swe
0
0
updated over 10 years ago • age almost 11 years
TeX
100.0%
tt-lecture-notes
0
1
3
updated over 8 years ago • age over 8 years
TeX
100.0%
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
Jandom
2 PRs
+1,008
-1,161
Scala
0
0
2017
Jandom
2 PRs
+89
-148
Scala
0
0
Jandom
1 PR
+520
-404
Scala
0
0
