All Git Users → awalterschulze

5 open source projects by awalterschulze

[ Open user page on Github ]

Code Generation for Functional Programming, Concurrency and Generics in Golang

✭ 848

go golang functional-programming generator generics

Parses the Graphviz DOT language in golang

✭ 416

go golang parse graphviz

3. regex-reexamined-coq

No description or website provided.

✭ 14

Coq Makefile coq

4. category-theory-for-programmers-challenges

Challenges from Category Theory for Programmers

✭ 96

haskell Makefile

5. gominikanren

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

✭ 28

go scheme Makefile Dockerfile minikanren

1-5 of 5 user projects