GitHunt

Walter Schulze

awalterschulze

Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University
Stevenage, UK

Organizations

Languages

Go50%Haskell15%JavaScript12%HTML8%Racket4%TeX4%Makefile4%Coq4%

Top Repositories

Repositories

36
AW
awalterschulze/goderive

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

Go1.3k45Updated 1 week ago
derivingfunctional-programminggeneratorgenericsgolang
AW
awalterschulze/goccFork

Parser / Scanner Generator

Go00Updated 2 weeks ago
AW
awalterschulze/gographviz

Parses the Graphviz DOT language in golang

Go56777Updated 2 weeks ago
gogolanggraphvizgraphviz-dot-languageparse
AW
awalterschulze/learning

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

16627Updated 3 weeks ago
AW
awalterschulze/gominikanren

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

Go452Updated 4 weeks ago
gologic-programmingminikanren
AW
awalterschulze/recursion-schemes-demo

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

Haskell10Updated 1 month ago
AW
awalterschulze/posix-submatchingFork

Lean formalisation of derivative-based POSIX regex submatching

00Updated 1 month ago
AW
awalterschulze/the-little-typer-exercises

exercises for the book - the little typer

Racket212Updated 6 months ago
AW
awalterschulze/category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers

Haskell12716Updated 6 months ago
AW
awalterschulze/waltercv

walter schulze's curriculum vitae

TeX21Updated 7 months ago
cv
AW
awalterschulze/awalterschulze.github.io

Walter Schulze's home page

JavaScript20Updated 7 months ago
AW
awalterschulze/awalterschulze

No description provided.

10Updated 7 months ago
AW
awalterschulze/checklicense

a very lame command that checks each file for a license

Go00Updated 10 months ago
AW
awalterschulze/experiment-jsonschema

[Deprecated] experiment Translates JsonSchema to Relapse

Go00Updated 1 year ago
AW
awalterschulze/vpa-talk

No description provided.

Haskell00Updated 1 year ago
AW
awalterschulze/gofuncyourself

A lesson in how to write go code like a motherfuncer

Go80Updated 1 year ago
lesson
AW
awalterschulze/xhaskell-library

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

Haskell30Updated 2 years ago
AW
awalterschulze/ragax

A Talk on Ragalur Expressions

JavaScript250Updated 2 years ago
ableton-livebrzozowski-derivativecontext-free-grammargolanghaskelljavascriptmaxmspmusic-generationplaygroundregular-expressionslidevalidation
AW
awalterschulze/proofs-written-by-ai

Proofs written by AI

Makefile30Updated 2 years ago
AW
awalterschulze/parsing-in-go-example

Parsing in Go Examples for Talk

Go40Updated 3 years ago
AW
awalterschulze/coq_in_a_hurry_exercises

Coq in a Hurry - Exercises

Coq20Updated 3 years ago
coqexercises-solutions
AW
awalterschulze/goanalysis

GoAnalysis does simple analysis of your source code.

Go71Updated 3 years ago
AW
awalterschulze/grpcdemo

Another grpc demo

Go21Updated 3 years ago
grpc-demo
AW
awalterschulze/elmdemo

A demo elm project

JavaScript00Updated 3 years ago
elm
AW
awalterschulze/blog

Walter Schulze's blog

HTML00Updated 3 years ago
AW
awalterschulze/music

Music created by me with friends

HTML00Updated 4 years ago
AW
awalterschulze/sublime-gocc-syntax

[Deprecated] Sublime Syntax Highlighting for Gocc BNF

51Updated 4 years ago
goccgolangparser-generator
AW
awalterschulze/nogotovogo

A First Lesson in using Go

Go40Updated 4 years ago
lesson
AW
awalterschulze/goodnewseveryone

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

Go00Updated 4 years ago
AW
awalterschulze/picolang

pico services as a programming language

Go30Updated 4 years ago
languageprototype

Gists

Recent Activity