Pinned Repositories
category-theory-for-programmers-challenges
Challenges from Category Theory for Programmers
goderive
Derives and generates mundane golang functions that you do not want to maintain yourself
gographviz
Parses the Graphviz DOT language in golang
gominikanren
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
learning
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
ragax
A Talk on Ragalur Expressions
protobuf
[Deprecated] Protocol Buffers for Go with Gadgets
katydid-haskell
An Encoding Agnostic Validation Language
proofs
Proofs written in Lean4 for the core katydid validation algorithm
erlfmt
An automated code formatter for Erlang
awalterschulze's Repositories
awalterschulze/goderive
Derives and generates mundane golang functions that you do not want to maintain yourself
awalterschulze/gographviz
Parses the Graphviz DOT language in golang
awalterschulze/learning
A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
awalterschulze/category-theory-for-programmers-challenges
Challenges from Category Theory for Programmers
awalterschulze/gominikanren
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
awalterschulze/ragax
A Talk on Ragalur Expressions
awalterschulze/regex-reexamined-coq
awalterschulze/the-little-typer-exercises
exercises for the book - the little typer
awalterschulze/gofuncyourself
A lesson in how to write go code like a motherfuncer
awalterschulze/git-anchor
[Deprecated] anchors the versions of your git dependencies
awalterschulze/sublime-gocc-syntax
[Deprecated] Sublime Syntax Highlighting for Gocc BNF
awalterschulze/nogotovogo
A First Lesson in using Go
awalterschulze/parsing-in-go-example
Parsing in Go Examples for Talk
awalterschulze/picolang
pico services as a programming language
awalterschulze/proofs-written-by-ai
Proofs written by AI
awalterschulze/advertising-coq
Presentation: Advertising Coq - Proving is Programming
awalterschulze/awalterschulze.github.io
Walter Schulze's home page
awalterschulze/ccc-talk
Correct Code by Construction talk's code
awalterschulze/grpcdemo
Another grpc demo
awalterschulze/waltercv
walter schulze's curriculum vitae
awalterschulze/awalterschulze
awalterschulze/Friendface
[deprecated] A Social Network built on Github
awalterschulze/blog
Walter Schulze's blog
awalterschulze/elmdemo
A demo elm project
awalterschulze/fbthrift
Facebook's branch of Apache Thrift, including a new C++ server.
awalterschulze/goodnewseveryone
[Deprecated] goodnewseveryone executes a command between two, possibly remotely shared, folders.
awalterschulze/music
Music created by me with friends
awalterschulze/recursion-schemes-demo
Demo of recursion schemes using derivatives for regular expressions as an example
awalterschulze/rsocket-go
rsocket-go implementation
awalterschulze/xhaskell-regex-deriv
An implementation of posix matching using derivative