Skip to content
View awalterschulze's full-sized avatar
🇿🇦
PhD Informatics Student
🇿🇦
PhD Informatics Student
440 followers · 230 following

Achievements

Achievement: QuickdrawAchievement: Starstruckx4Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Starstruckx4Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@katydid @gogo

Block or report awalterschulze

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
awalterschulze/README.md

YouTube Medium Mastadon Soundcloud BlueSky LinkedIn CV

Projects

Katydid: validation language for serialized data

Katydid Katydid proofs in Lean Katydid Go Katydid Haskell

gogoprotobuf, erlfmt, goderive, gographviz, music generation

gogoprotobuf erlfmt goderive gographviz SuperWillow Article in IEEE Multimedia - Music Generation with Mixed and Higher Order Markov Models

Videos

Gogoprotobuf: Preparing for GopherCon UK 2022 Derivatives for Regular Expressions Max for Live Javascript tutorial

Medium Blog

Recursion Schemes Explained Using Regular Expressions Derivatives of Symbolic Automata Explained Monads for Go Programmers

Music

awalterschulze Soundcloud awalterschulze Spotify awalterschulze YouTube Music awalterschulze Apple Music awalterschulze Amazon Music awalterschulze Tidal awalterschulze YouTube Channel awalterschulze Deezer

Learnings

The Little Typer Exercises Coq in a Hurry Exercises Coq Proofs about Regular Expressions as a learning exercise Category Theory for Programmers Exercises The Reasoned Schemer's minikanren in Go more...

Pinned Loading

  1. gogo/protobuf Public

    [Deprecated] Protocol Buffers for Go with Gadgets

    Go 5.7k 811

  2. WhatsApp/erlfmt Public

    An automated code formatter for Erlang

    Erlang 422 59

  3. goderive Public

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

    Go 1.3k 45

  4. katydid/katydid-haskell Public

    An Encoding Agnostic Validation Language

    Haskell 6

  5. gographviz Public

    Parses the Graphviz DOT language in golang

    Go 559 74

  6. katydid/regex-deriv-lean Public

    Proofs written in Lean4 for the core katydid validation algorithm

    Lean 14 3

1,985 contributions in the last year

Contribution Graph
Day of Week March April May June July August September October November December January February
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

March 2025

Created 20 commits in 3 repositories
Opened 6 pull requests in 1 repository
Reviewed 1 pull request in 1 repository
katydid/parser-go-json 1 pull request

Created an issue in golang/go that received 11 comments

unsafe: unsafe.Slice escape to heap

Go version go version go1.24.0 darwin/arm64 Output of go env in your module/workspace: AR='ar' CC='clang' CGO_CFLAGS='-O2 -g' CGO_CPPFLAGS='' CGO_C…

11 comments
Loading

Seeing something unexpected? Take a look at the GitHub profile guide.