Stephen Diehl's repositories
dive-into-ghc
Dive into GHC
llvm-codegen
Code generation utils for LLVM
cooking-generics
http://www.stephendiehl.com/posts/generics.html
agents-experiment
Toy language
pretty-latex
Utilities for pretty printing LaTeX from Haskell
unirewrite
Generic term rewriting
dbmigrations
A library and program for the creation, management, and installation of schema updates (called migrations) for a relational database.
hacklab-ml
An introduction to ML for Hacklab at the Harvard Innovation Lab
liquidhaskell
Liquid Types For Haskell
commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
ConstraintKinds
Implements common Haskell type classes using the constraint kinds pattern to allow constraints.
coq
computer logic, cs195x
distributed-process
Cloud Haskell Core Library
flask-admin
Simple and extensible administrative interface framework for Flask
fretted
A Haskell library for guitar music composition.
haskell-vim-now
One-line Haskell Vim install
hblas
haskell bindings for blas and lapack
language-python
A parser for Python 2.x and 3.x written in Haskell
llvm-general
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
modules_over_monads
Modules over Monads and Initial Semantics
time-recurrence
Generate recurring dates.
unbound-generics
A reimplementation of Unbound using GHC Generics.