Walter Schulze
@awalterschulze
- Country
- United Kingdom
- Rank
- #295
- Profile
- View on GitHub
- Company
- Stellenbosch University
- Location
- Stevenage, UK
- Blog/Website
- https://awalterschulze.github.io/
- awalterschulze@gmail.com
- -
- Hireable
- Yes
- Public Repos
- 34
- Public Gists
- 26
- Account
- User
- Joined GitHub
- Jun 08, 2012 (13 years, 6 months ago)
- Last Updated
- Dec 30, 2025 13:05
Bio
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.
Followers
454
Following
233
Contributions (last year)
1,495
Similar Developers
