Rankings
Badges
/
mpardalos
Rankings
Badges
Overview
Ranks
Repositories
Languages
Michalis Pardalos
@mpardalos
Refresh
Open GitHub
🇬🇧 London, UK
Imperial College London
Profile age: about 13 years
Updated 12 days ago
33 followers • 13 following
Contacts
me@mpardalos.com
https://mpardalos.com
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 4
Persona
Contributor
#481,605
#485,208
#421,556
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
Extended-Essay
7
0
updated over 8 years ago • age over 8 years
TeX
98.2%
Python
1.8%
verilog-repl
6
0
updated 5 months ago • age 5 months
Python
68.7%
Emacs Lisp
17.6%
Nix
13.7%
gc-geiger
6
0
updated over 1 year ago • age over 1 year
Emacs Lisp
100.0%
Vera
6
0
updated about 1 month ago • age over 1 year
Rocq Prover
75.1%
OCaml
16.8%
Python
5.0%
Shell
2.1%
Nix
1.0%
Kima
5
0
updated about 4 years ago • age almost 7 years
Haskell
100.0%
View all 7 repositories
Last Contributions
2023
verismith
1 PR
+35
-76
Haskell
115
13
13
2022
doomemacs
1 PR
+10
-12
Emacs Lisp
21,063
3,129
2021
SOMAS2020
3 PRs
+778
-377
Go
8
25
SOMAS-Final-Report
1 PR
+183
-1
TeX
3
14
54
2020
opentelemetry-haskell
3 PRs
+754
-332
Haskell
67
6
View all contributions
Latest Updates
29 Aug 2025
Followers Count:
34
33
31 Jul 2025
Followers Count:
33
34
06 Jan 2025
First seen
Subscribe to mpardalos's GitHub rank updates in your messenger
WhatsApp
Telegram
