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 15 hours ago
151 followers • 178 following
Contacts
github@reynir.dk
https://reyn.ir/
Organizations
Language Ranks Breakdown
Global
Denmark
OCaml
Master 3
14 stars
to reach Master 4
Position: 150
/
3.4K
Language Score: 148
Top 5% of all ranked profiles
Coq
Expert 5
2 stars
to reach Master 1
Position: 90
/
1.4K
Language Score: 27
Top 7% of all ranked profiles
Idris
Adept 5
4 stars
to reach Advanced 1
Position: 82
/
289
Language Score: 18
Top 30% of all ranked profiles
C
Adept 2
2 stars
to reach Adept 3
Position: 100,100
/
236.8K
Language Score: 4
Top 50% of all ranked profiles
Dune
Adept 2
1 star
to reach Adept 3
Position: 96
/
219
Language Score: 1
Top 50% of all ranked profiles
