Walter Schulze

@awalterschulze

Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stevenage, UK awalterschulze.org

View GitHub profile 468 followers · 239 following

Contributed to 1 repository

5 commits across the projects listed in this directory.

awesome-go

avelino

A curated list of awesome Go frameworks, libraries and software