Starred repositories
15
stars
written in Haskell
Clear filter
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A Dependently Typed Functional Programming Language
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Agda is a dependently typed programming language / interactive theorem prover.
A multi-syntax functional programming language that compiles to WebAssembly.
FP101x - Functional Programming MOOC 2015 Content Repository
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
A functional language for the working hacker
A command line utility for practicing typing and measuring your WPM and accuracy.
A Super Kawaii Dependently Typed Programming Language
Using Backpack to abstract over the main Haskell streaming libraries.