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 12 days ago
67 followers • 67 following
Contacts
8177dph@gmail.com
doofin.hashnode.dev
in/eason-du-03543279
Organizations
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
scala3-native-mill
5
0
updated almost 3 years ago • age almost 3 years
dependentChisel
2
0
updated 12 months ago • age almost 3 years
Scala
99.1%
Idris
0.9%
sbt-android
2
0
updated over 1 year ago • age almost 7 years
Java
72.5%
Scala
27.3%
C
0.1%
Makefile
0.1%
RenderScript
0.0%
stdScala
1
0
updated about 1 year ago • age over 4 years
Scala
100.0%
vscode-scalajs-hello
1
0
updated 8 months ago • age over 1 year
Scala
100.0%
Show more - 10 of 20 shown
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,244
392
75
images
2 PRs
+53
-6
Shell
27
4
11
sbc-pkgbuilds
2 PRs
+16
-0
Shell
1
3
2023
metals
3 PRs
+76
-18
Scala
2,244
392
75
scala-cli
1 PR
+5
-1
Scala
615
150
74
2021
monorepo
1 PR
+339
-1
TypeScript
1,586
167
2020
Laminar
1 PR
+1
-0
Scala
806
57
Show more
