ehird/Delineate
Linear Logic toybox
Discovered public repositories for ehird in the GitHub catalog.
Linear Logic toybox
DCSS stuff
Haskell 98 Profunctors
Public repository.
Provides Data.Void
C-SPLAT, FooTV and FightClub
A modified version of the game Dungeon Crawl: Stone Soup.
Safe phantom types
Haskell 98 semigroups
Reifies arbitrary Haskell terms into types that can be reflected back into terms
Copy of the new Hackage server code
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
A Haskell binding to the glibc strfry function.
a small build system with a focus on speed
Haskell high-level wrapper for OpenCL
haskell wrappers for OpenCL
A simple pacman-like interface to the AUR
A simple and robust fake identd
A monad for giving computations a supply of arbitrary values.
A Minecraft server in Haskell.
A typed, persistent store for values of arbitrary types
An archive of various Funge-related material, focusing on (Be)funge-98.
A functional graphics API for programmable GPUs
Public repository.
The missing package manager for OS X.
My fork of Factor.