Rankings
Badges
/
martinescardo
Rankings
Badges
Overview
Ranks
Repositories
Languages
Martin Escardo
@martinescardo
Refresh
Open GitHub
🇬🇧 United Kingdom
University of Birmingham
Profile age: over 12 years
Updated 1 day ago
232 followers • 2 following
Contacts
http://www.cs.bham.ac.uk/~mhe/
@MartinEscardo@mathstodon.xyz
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Influencer
#44,199
#1,526,258
#44,646
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
HoTTEST-Summer-School
312
73
updated 5 months ago • age over 3 years
TeX
59.0%
Agda
27.0%
HTML
6.0%
OCaml
5.7%
Haskell
2.3%
TypeTopology
261
50
updated 5 days ago • age over 7 years
Agda
94.2%
TeX
5.6%
Shell
0.1%
Haskell
0.1%
HoTT-UF-Agda-Lecture-Notes
230
21
2
updated over 1 year ago • age over 6 years
Agda
99.4%
Shell
0.2%
CSS
0.2%
Makefile
0.1%
Haskell
0.1%
EffectfulForcing
11
0
updated about 4 years ago • age about 4 years
Agda
55.9%
TeX
44.1%
Last Contributions
2021
mathematics-and-computation
~7 PRs
+97
-2
Mathematica
53
5
2019
cubical
1 PR
+123
-0
Agda
508
156
8
birmingham-theory
1 PR
+1
-1
HTML
4
10
2018
cubical
1 PR
+135
-43
Agda
508
156
8
View all contributions
Latest Updates
22 Oct 2025
Followers Count:
231
232
07 Oct 2025
Followers Count:
232
231
23 Sep 2025
Followers Count:
231
232
08 Sep 2025
Followers Count:
230
231
25 Aug 2025
Followers Count:
228
230
14 Jan 2025
First seen
Subscribe to martinescardo's GitHub rank updates in your messenger
WhatsApp
Telegram