Rankings
Badges
/
doofin
Rankings
Badges
Overview
Ranks
Repositories
Languages
Eason du
@doofin
Refresh
Open GitHub
🇳🇴 Norway
Danmarks Tekniske Universitet
Profile age: almost 12 years
Updated 9 days ago
67 followers • 67 following
Contacts
8177dph@gmail.com
doofin.hashnode.dev
in/eason-du-03543279
Organizations
Profile Overview
Global
Norway
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 4
Persona
Contributor
#244,585
#50,458
#190,839
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
differentiable-idris
44
7
updated over 6 years ago • age about 7 years
Idris
100.0%
functorcoder
14
0
updated 5 months ago • age 8 months
Scala
100.0%
scala4Android
12
2
updated over 5 years ago • age almost 7 years
Scala
100.0%
hott-examples
8
0
updated almost 4 years ago • age over 7 years
Agda
100.0%
categorical-initiative
5
0
updated over 7 years ago • age over 7 years
View all 20 repositories
Last Contributions
2025
scala-meetup
2 PRs
+2
-1
HTML
126
16
linux-bredos
1 PR
+11
-0
C
8
3
wiki
2 PRs
+73
-2
HTML
0
1
2024
metals
1 PR
+85
-45
Scala
2,240
390
75
images
2 PRs
+53
-6
Shell
27
4
11
View all contributions
Latest Updates
20 Sep 2025
Followers Count:
64
67
Following Count:
66
67
22 Aug 2025
Starred Repositories Count:
254
255
Following Count:
65
66
12 Apr 2025
Followers Count:
63
64
29 Mar 2025
Starred Repositories Count:
252
254
Followers Count:
61
63
Following Count:
63
65
14 Mar 2025
Starred Repositories Count:
251
252
Followers Count:
60
61
Following Count:
62
63
06 Jan 2025
First seen
Subscribe to doofin's GitHub rank updates in your messenger
WhatsApp
Telegram
