• Stars
    star
    117
  • Rank 301,828 (Top 6 %)
  • Language
    Haskell
  • Created almost 7 years ago
  • Updated 12 days ago

Reviews

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

Repository Details

Challenges from Category Theory for Programmers

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

learning

A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
163
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