Rankings
Badges
/
mroman42
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mario Román
@mroman42
Refresh
Open GitHub
Oxford, GB
Profile age: about 12 years
Updated 13 days ago
218 followers • 167 following
Contacts
marioroman.xyz
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 2
Persona
Influencer
#96,829
#455,835
#47,451
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
mikrokosmos
73
7
6
updated over 4 years ago • age about 9 years
Haskell
96.0%
TeX
4.0%
ctlc
42
2
1
updated almost 7 years ago • age over 8 years
Agda
51.4%
TeX
45.8%
CSS
2.7%
Haskell
0.2%
plantillas
30
6
updated about 8 years ago • age almost 11 years
TeX
100.0%
vitrea
24
3
updated 10 months ago • age over 5 years
Haskell
98.2%
Nix
1.8%
vitrea-prototype-1
20
5
updated almost 6 years ago • age over 6 years
Haskell
95.9%
Nix
4.1%
View all 35 repositories
Last Contributions
2025
compositionality-latex-template
1 PR
+53
-51
TeX
13
10
2023
compositionality-latex-template
3 PRs
+172
-34
TeX
13
10
2020
nixpkgs
1 PR
+6
-4
Nix
21,904
16,817
2019
UniMath
2 PRs
+282
-0
Rocq Prover
993
183
11
2018
elfeed-org
1 PR
+1
-1
Emacs Lisp
358
34
View all contributions
Latest Updates
20 Sep 2025
Is Hireable:
true (removed)
Website Url:
mroman42.github.io
marioroman.xyz
Followers Count:
217
218
22 Aug 2025
Followers Count:
219
217
08 Aug 2025
Followers Count:
220
219
25 Jul 2025
Location:
Oxford
Oxford, GB
Followers Count:
219
220
11 Jul 2025
Followers Count:
216
219
05 Jan 2025
First seen
Subscribe to mroman42's GitHub rank updates in your messenger
WhatsApp
Telegram
