Walter Schulze (@awalterschulze)
github

awalterschulze

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

goderive

Derives and generates mundane golang functions that you do not want to maintain yourself
Go
1,180
star
2

gographviz

Parses the Graphviz DOT language in golang
Go
543
star
3

learning

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

category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers
Haskell
114
star
5

gominikanren

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

ragax

A Talk on Ragalur Expressions
JavaScript
25
star
7

regex-reexamined-coq

Coq
19
star
8

the-little-typer-exercises

exercises for the book - the little typer
Racket
16
star
9

goanalysis

GoAnalysis does simple analysis of your source code.
Go
7
star
10

gofuncyourself

A lesson in how to write go code like a motherfuncer
Go
7
star
11

sublime-gocc-syntax

[Deprecated] Sublime Syntax Highlighting for Gocc BNF
5
star
12

git-anchor

[Deprecated] anchors the versions of your git dependencies
Go
5
star
13

parsing-in-go-example

Parsing in Go Examples for Talk
Go
4
star
14

nogotovogo

A First Lesson in using Go
Go
4
star
15

xhaskell-library

Automatically exported from code.google.com/p/xhaskell-library
Haskell
3
star
16

gorangecheck

Go
3
star
17

picolang

pico services as a programming language
Go
3
star
18

proofs-written-by-ai

Proofs written by AI
Makefile
3
star
19

grpcdemo

Another grpc demo
Go
2
star
20

waltercv

walter schulze's curriculum vitae
TeX
2
star
21

coq_in_a_hurry_exercises

Coq in a Hurry - Exercises
Coq
2
star
22

ccc-talk

Correct Code by Construction talk's code
Makefile
2
star
23

awalterschulze.github.io

Walter Schulze's home page
JavaScript
2
star
24

awalterschulze

1
star
25

Friendface

[deprecated] A Social Network built on Github
HTML
1
star
26

advertising-coq

Presentation: Advertising Coq - Proving is Programming
Coq
1
star