Skip to content
View awalterschulze's full-sized avatar
🇿🇦
Learning LeanProver
🇿🇦
Learning LeanProver
436 followers · 228 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 gogo/protobuf Public

    [Deprecated] Protocol Buffers for Go with Gadgets

    Go 5.7k 808

  2. WhatsApp/erlfmt WhatsApp/erlfmt Public

    An automated code formatter for Erlang

    Erlang 414 55

  3. goderive goderive Public

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

    Go 1.2k 43

  4. katydid/katydid-haskell katydid/katydid-haskell Public

    An Encoding Agnostic Validation Language

    Haskell 6

  5. gographviz gographviz Public

    Parses the Graphviz DOT language in golang

    Go 553 74

  6. katydid/proofs katydid/proofs Public

    Proofs written in Lean4 for the core katydid validation algorithm

    Lean 14 3