Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
A CSS preprocessor as embedded Haskell.
First class composable record labels for Haskell.
Salvia - Modular Haskell HTTP server.
Haskell OpenGL based 3d engine.
Collect type information about Agda like goals in Haskell code.