• Stars
    star
    163
  • Rank 231,141 (Top 5 %)
  • Language
  • Created almost 7 years ago
  • Updated 8 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

goderive

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

gographviz

Parses the Graphviz DOT language in golang
Go
552
star
3

category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers
Haskell
117
star
4

gominikanren

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

ragax

A Talk on Ragalur Expressions
JavaScript
25
star
6

regex-reexamined-coq

Coq
21
star
7

the-little-typer-exercises

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

gofuncyourself

A lesson in how to write go code like a motherfuncer
Go
8
star
9

goanalysis

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

sublime-gocc-syntax

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

git-anchor

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

parsing-in-go-example

Parsing in Go Examples for Talk
Go
4
star
13

nogotovogo

A First Lesson in using Go
Go
4
star
14

xhaskell-library

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

gorangecheck

Go
3
star
16

picolang

pico services as a programming language
Go
3
star
17

proofs-written-by-ai

Proofs written by AI
Makefile
3
star
18

grpcdemo

Another grpc demo
Go
2
star
19

waltercv

walter schulze's curriculum vitae
TeX
2
star
20

coq_in_a_hurry_exercises

Coq in a Hurry - Exercises
Coq
2
star
21

ccc-talk

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

awalterschulze.github.io

Walter Schulze's home page
JavaScript
2
star
23

advertising-coq

Presentation: Advertising Coq - Proving is Programming
Coq
2
star
24

awalterschulze

1
star
25

Friendface

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