Greg Pfeil

icon indicating a website link https://technomadic.org icon indicating an email [email protected]

icon company independent consultant icon location Boulder, CO, USA icon location Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.

Results 15 repositories owned by Greg Pfeil

haskerwaul

19
Stars
0
Forks
Watchers

Category theory concepts in type classes and instances.

verified publisher icon sellout

Iaia

24
Stars
0
Forks
Watchers

A recursion scheme library for Idris.

verified publisher icon sellout

Kilns

17
Stars
2
Forks
Watchers

An experimental programming language based on the kell calculus.

verified publisher icon sellout

method-combination-utilities

18
Stars
2
Forks
Watchers

Various utilities to make use and creation of custom method combinations easier.

verified publisher icon sellout

compiling-anything-to-categories

19
Stars
2
Forks
Watchers

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

verified publisher icon sellout