Walter Schulze
@awalterschulzeProjects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.
Language Breakdown
Lines of code distribution across 32 owned repositories
T-Shaped Developer
T-shapedDeep in JavaScript with broad versatility
Collaboration Network
Global Impact visualization
Repos
92
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Ludovic Dem
@lud
Fabien
@zx80
Santhosh Kumar Tekuri
@santhosh-tekuri
sbarex
@sbarex
Dr Ian Preston
@ianopolous
Top Repositories
Derives and generates mundane golang functions that you do not want to maintain yourself
Parses the Graphviz DOT language in golang
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
Challenges from Category Theory for Programmers
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
A Talk on Ragalur Expressions
exercises for the book - the little typer
A lesson in how to write go code like a motherfuncer
GoAnalysis does simple analysis of your source code.
[Deprecated] anchors the versions of your git dependencies
Open Source Impact
Contributions to external projects
