Rankings
Badges
/
EgbertRijke
Rankings
Badges
Overview
Ranks
Repositories
Languages
Egbert Rijke
@EgbertRijke
Refresh
Open GitHub
🇺🇸 Baltimore, MD
Johns Hopkins University
Profile age: almost 14 years
Updated 3 days ago
150 followers • 2 following
Contacts
https://egbertrijke.github.io
@EgbertRijke
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 5
Persona
Influencer
#82,545
#1,017,947
#74,526
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
HoTT-Intro
Archived
374
29
updated over 5 years ago • age about 7 years
Agda
52.2%
TeX
43.0%
Coq
4.9%
GraphModel
8
0
updated about 9 years ago • age over 9 years
Lean
100.0%
sequential_colimits
5
1
updated almost 8 years ago • age about 10 years
Lean
100.0%
OEIS-A000001
5
1
updated almost 4 years ago • age almost 4 years
Agda
100.0%
CategoryTheory_Course
5
3
updated almost 11 years ago • age almost 11 years
TeX
100.0%
View all 8 repositories
Last Contributions
2025
agda-unimath
1 PR
+60
-0
Agda
270
90
2024
agda-unimath
~39 PRs
+552
-255
Agda
270
90
2023
agda-unimath
~187 PRs
+746
-56
Agda
270
90
agda-unimath
1 PR
+2,573
-575
Agda
0
0
agda-unimath
1 PR
+25,710
-10,502
Makefile
0
0
View all contributions
Latest Updates
22 Oct 2025
Followers Count:
149
150
09 Sep 2025
Followers Count:
146
149
26 Aug 2025
Followers Count:
147
146
28 Jul 2025
Followers Count:
146
147
14 Jul 2025
Followers Count:
145
146
05 Jan 2025
First seen
Subscribe to EgbertRijke's GitHub rank updates in your messenger
WhatsApp
Telegram
