Walter Schulze

goderive. Derives and generates mundane golang functions that you do not want to maintain yourself

gographviz. Parses the Graphviz DOT language in golang

learning. A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.

category-theory-for-programmers-challenges. Challenges from Category Theory for Programmers

gominikanren. a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

ragax. A Talk on Ragalur Expressions

the-little-typer-exercises. exercises for the book - the little typer

gofuncyourself. A lesson in how to write go code like a motherfuncer

goanalysis. GoAnalysis does simple analysis of your source code.

sublime-gocc-syntax. [Deprecated] Sublime Syntax Highlighting for Gocc BNF

git-anchor. [Deprecated] anchors the versions of your git dependencies

nogotovogo. A First Lesson in using Go

parsing-in-go-example. Parsing in Go Examples for Talk

gorangecheck. Go

picolang. pico services as a programming language

proofs-written-by-ai. Proofs written by AI

xhaskell-library. Automatically exported from code.google.com/p/xhaskell-library

coq_in_a_hurry_exercises. Coq in a Hurry - Exercises

awalterschulze.github.io. Walter Schulze's home page

waltercv. walter schulze's curriculum vitae

grpcdemo. Another grpc demo

recursion-schemes-demo. Demo of recursion schemes using derivatives for regular expressions as an example

awalterschulze.

Friendface. [deprecated] A Social Network built on Github