Rankings
Badges
/
reynir
Rankings
Badges
Overview
Ranks
Repositories
Languages
Reynir Björnsson
@reynir
Refresh
Open GitHub
🇩🇰 Denmark
@robur-coop
Profile age: about 15 years
Updated about 10 hours ago
151 followers • 178 following
Contacts
github@reynir.dk
https://reyn.ir/
Organizations
Profile Overview
Global
Denmark
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 5
Persona
Influencer
#143,969
#322,478
#74,609
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
banawa-chat
33
0
updated 5 months ago • age over 2 years
OCaml
100.0%
Brainfuck
27
2
updated over 3 years ago • age about 12 years
Coq
100.0%
qubes-mirage-ssh-agent
22
4
updated almost 3 years ago • age almost 8 years
OCaml
100.0%
ocp-index-top
21
0
4
updated 9 months ago • age over 8 years
OCaml
100.0%
Verified
Archived
18
4
updated over 10 years ago • age almost 12 years
Idris
100.0%
View all 22 repositories
Last Contributions
2025
mirage
1 PR
+7
-3
OCaml
2,736
257
95
opam-repository
2 PRs
+88
-0
552
1,201
ocaml-git
1 PR
+2
-1
OCaml
367
69
92
albatross
3 PRs
+85
-51
OCaml
153
18
27
lwd
1 PR
+163
-128
OCaml
143
24
4
View all contributions
Latest Updates
30 Sep 2025
Followers Count:
149
151
16 Sep 2025
Followers Count:
148
149
02 Sep 2025
Followers Count:
149
148
19 Aug 2025
Followers Count:
148
149
05 Aug 2025
Followers Count:
146
148
04 Jan 2025
First seen
Subscribe to reynir's GitHub rank updates in your messenger
WhatsApp
Telegram
