Rankings
Badges
/
awalterschulze
Rankings
Badges
Overview
Ranks
Repositories
Languages
Walter Schulze
@awalterschulze
Refresh
Open GitHub
🇬🇧 Stevenage, UK
Stellenbosch University
Profile age: over 13 years
Updated 14 days ago
451 followers • 232 following
Contacts
awalterschulze@gmail.com
https://awalterschulze.github.io/
c/awalterschulze
in/awalterschulze
Organizations
Repositories
goderive
1,272
46
2
updated 9 months ago • age almost 9 years
Go
98.9%
Makefile
1.1%
gographviz
567
75
6
updated over 2 years ago • age over 10 years
Go
99.3%
Makefile
0.7%
learning
166
27
updated 9 months ago • age almost 8 years
category-theory-for-programmers-challenges
127
16
updated about 1 year ago • age almost 8 years
Haskell
100.0%
gominikanren
42
2
updated about 2 years ago • age about 8 years
Go
91.8%
Scheme
6.6%
Coq
0.9%
Makefile
0.4%
Python
0.3%
ragax
25
0
updated about 3 years ago • age over 9 years
JavaScript
92.6%
TeX
5.7%
Go
1.0%
Haskell
0.4%
HTML
0.3%
the-little-typer-exercises
21
2
updated 6 months ago • age almost 7 years
Racket
55.9%
Haskell
22.5%
Lean
21.5%
gofuncyourself
8
0
updated about 4 years ago • age over 10 years
Go
100.0%
goanalysis
7
1
updated about 4 years ago • age about 8 years
Go
100.0%
git-anchor
5
1
updated about 4 years ago • age over 10 years
Go
49.0%
Shell
32.9%
Makefile
12.8%
Dockerfile
5.3%
Show more - 10 of 16 shown
Contributions
2025
gocc
~6 PRs
+44
-23
Go
651
48
3
regex-deriv-lean
~13 PRs
+791
-485
Lean
17
4
relaxng
~8 PRs
+18
-23
Go
2
0
validator-gogo-proto
~10 PRs
+26
-87
Go
1
0
3
testsuite
~11 PRs
+413
-177
Go
1
2
2
parser-go-proto
~6 PRs
+93
-324
Go
0
1
2
raylean-image
3 PRs
+2,213
-32,826
C
0
0
jessicacantswim
2 PRs
+99
-32,445
C
0
0
validator-go-jsonschema
3 PRs
+1,721
-188
Go
0
0
parser-gogo-proto
~6 PRs
+16
-44
Go
0
0
3
Show more
