awalterschulze

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

regex-reexamined-coq

the-little-typer-exercises

exercises for the book - the little typer

gofuncyourself

A lesson in how to write go code like a motherfuncer

git-anchor

[Deprecated] anchors the versions of your git dependencies

sublime-gocc-syntax

[Deprecated] Sublime Syntax Highlighting for Gocc BNF

nogotovogo

A First Lesson in using Go

parsing-in-go-example

Parsing in Go Examples for Talk

picolang

pico services as a programming language

proofs-written-by-ai

Proofs written by AI

awalterschulze.github.io

Walter Schulze's home page

ccc-talk

Correct Code by Construction talk's code

grpcdemo

Another grpc demo

waltercv

walter schulze's curriculum vitae

advertising-coq

Presentation: Advertising Coq - Proving is Programming

awalterschulze

Friendface

[deprecated] A Social Network built on Github

blog

Walter Schulze's blog

elmdemo

A demo elm project

fbthrift

Facebook's branch of Apache Thrift, including a new C++ server.

goodnewseveryone

[Deprecated] goodnewseveryone executes a command between two, possibly remotely shared, folders.

music

Music created by me with friends

recursion-schemes-demo

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

rsocket-go

rsocket-go implementation

xhaskell-regex-deriv

An implementation of posix matching using derivative