Rankings
Badges
/
DoctorRainer
Rankings
Badges
Overview
Ranks
Repositories
Languages
Rainer Reinhardt
@DoctorRainer
Refresh
Open GitHub
Deutschland
Profile age: almost 9 years
Updated 7 days ago
32 followers • 17 following
Contacts
drryner@icloud.com
http://t.me/DoctorRainer
Repositories
sae
28
0
5
updated over 2 years ago • age almost 5 years
Idris
97.4%
Shell
2.6%
helix
13
1
1
updated about 1 month ago • age about 2 years
Rust
82.9%
Tree-sitter Query
9.8%
Scheme
6.6%
Handlebars
0.4%
Nix
0.2%
miso-template
12
1
updated almost 6 years ago • age over 6 years
Haskell
100.0%
gimel
10
1
1
updated over 3 years ago • age over 5 years
PureScript
99.1%
Dhall
0.9%
idris-gimel
3
0
updated about 4 years ago • age almost 5 years
Idris
100.0%
dimension-gate
1
0
updated about 3 years ago • age about 3 years
C#
55.2%
Haskell
44.8%
graph_test
0
0
updated over 6 years ago • age over 6 years
Haskell
100.0%
Contributions
2020
aeson-injector
1 PR
+1
-1
Haskell
13
8
