Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.
Languages
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
Repositories
36Derives and generates mundane golang functions that you do not want to maintain yourself
Parser / Scanner Generator
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.
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Demo of recursion schemes using derivatives for regular expressions as an example
Lean formalisation of derivative-based POSIX regex submatching
exercises for the book - the little typer
Challenges from Category Theory for Programmers
walter schulze's curriculum vitae
Walter Schulze's home page
No description provided.
a very lame command that checks each file for a license
[Deprecated] experiment Translates JsonSchema to Relapse
No description provided.
A lesson in how to write go code like a motherfuncer
Automatically exported from code.google.com/p/xhaskell-library
A Talk on Ragalur Expressions
Proofs written by AI
Parsing in Go Examples for Talk
Coq in a Hurry - Exercises
GoAnalysis does simple analysis of your source code.
Another grpc demo
A demo elm project
Walter Schulze's blog
Music created by me with friends
[Deprecated] Sublime Syntax Highlighting for Gocc BNF
A First Lesson in using Go
[Deprecated] goodnewseveryone executes a command between two, possibly remotely shared, folders.
pico services as a programming language