Rankings
Badges
/
Rewbert
Rankings
Badges
Overview
Ranks
Repositories
Languages
Robert Krook
@Rewbert
Refresh
Open GitHub
🇸🇪 Gothenburg
Chalmers University of Technology
Profile age: about 11 years
Updated 4 days ago
62 followers • 90 following
Contacts
krookr@chalmers.se
www.krook.dev
Repositories
quickcheck
13
1
updated 5 months ago • age over 3 years
Haskell
99.5%
Shell
0.5%
quickcheck-v1
6
0
updated over 2 years ago • age over 2 years
Haskell
100.0%
stm32-nucleo
1
0
updated about 2 months ago • age about 1 year
C
95.6%
Assembly
1.9%
Linker Script
1.3%
CSS
0.9%
Haskell
0.4%
algebra-seqdecprobs
0
0
updated almost 6 years ago • age over 6 years
TeX
91.5%
Agda
8.4%
Makefile
0.2%
restricted-io-ifc
0
0
updated over 2 years ago • age over 2 years
Haskell
100.0%
EnclaveGeneralize
0
0
updated over 1 year ago • age about 2 years
Haskell
100.0%
starter-snake-haskell
0
3
updated over 6 years ago • age over 6 years
Haskell
100.0%
MicroHs
0
0
updated over 1 year ago • age about 2 years
Haskell
56.6%
C
42.3%
Makefile
0.9%
Shell
0.2%
network-light
0
0
updated 25 days ago • age 26 days
Haskell
100.0%
Contributions
2025
quickcheck
2 PRs
+110
-61
Haskell
767
128
MicroHs
1 PR
+4
-0
Haskell
614
54
2023
MicroHs
2 PRs
+513
-104
Haskell
614
54
twee
1 PR
+17
-2
Haskell
56
13
4
kudzu
1 PR
+6
-4
Nix
24
3
HasTEE
1 PR
+66
-20
Haskell
5
1
2022
ssm-runtime
1 PR
+1
-1
C
3
0
2021
Scoria
2 PRs
+909
-323
Haskell
5
0
BinderAnn
1 PR
+24
-24
Haskell
4
3
2017
IceIceBaby
3 PRs
+144
-9
JavaScript
0
0
Show more
