Rankings
Badges
/
jarlg
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jarl G. Taxerås Flaten
@jarlg
Refresh
Open GitHub
🇳🇴 Tromsø, Norway
SINTEF Nord
Profile age: almost 14 years
Updated 8 days ago
26 followers • 15 following
Contacts
https://publish.uwo.ca/~jtaxers/
Profile Overview
Global
Norway
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 1
Persona
Contributor
#356,429
#78,201
#538,128
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
solarized-crosh
33
2
updated over 9 years ago • age almost 12 years
JavaScript
100.0%
melatonin
8
1
1
updated about 7 years ago • age over 11 years
JavaScript
61.9%
CoffeeScript
29.9%
CSS
4.9%
HTML
3.4%
Yoneda-Ext
6
0
updated about 2 years ago • age over 2 years
Coq
97.8%
Makefile
2.2%
central-types
3
2
updated 6 months ago • age over 2 years
Coq
98.6%
Makefile
1.4%
lookmanohands
2
1
updated almost 9 years ago • age almost 9 years
HTML
61.2%
JavaScript
36.9%
CSS
1.9%
View all 6 repositories
Last Contributions
2024
Coq-HoTT
1 PR
+152
-2
Rocq Prover
1,341
197
14
2023
Coq-HoTT
~9 PRs
+347
-129
Rocq Prover
1,341
197
14
2022
Coq-HoTT
2 PRs
+2,825
-716
Rocq Prover
1,341
197
14
2021
nixpkgs
1 PR
+1
-1
Nix
21,904
16,817
Coq-HoTT
~6 PRs
+763
-211
Rocq Prover
1,341
197
14
View all contributions
Latest Updates
26 Aug 2025
Followers Count:
27
26
12 Aug 2025
Followers Count:
28
27
29 Jul 2025
Followers Count:
29
28
05 Jan 2025
First seen
Subscribe to jarlg's GitHub rank updates in your messenger
WhatsApp
Telegram
