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

category-parametric-talk

22
Stars
2
Forks
Watchers

Talks on category-parametric programming.

verified publisher icon sellout

caterwaul

54
Stars
1
Forks
Watchers

Wailing into the primordial ooze of category theory

verified publisher icon sellout

CL-LLVM

97
Stars
15
Forks
Watchers

CFFI bindings for LLVM

verified publisher icon sellout

dada

64
Stars
7
Forks
Watchers

A total recursion scheme library for Dhall

verified publisher icon sellout

yaya

86
Stars
4
Forks
Watchers

Yet another yet another recursion scheme library in Haskell.

verified publisher icon sellout

quid-pro-quo

92
Stars
9
Forks
Watchers

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

verified publisher icon sellout

dredd

22
Stars
1
Forks
Watchers

Automatic type class law checking.

verified publisher icon sellout

dualizer

29
Stars
1
Forks
Watchers

Delete half (minus ε) of your Haskell code!

verified publisher icon sellout

emacs-color-theme-solarized

1.2k
Stars
206
Forks
Watchers

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

verified publisher icon sellout

external-program

65
Stars
13
Forks
Watchers

A portable Common Lisp library for running external programs from within Lisp.

verified publisher icon sellout