yav

haskell-zipper

A Haskell datastructure for working with locations in trees or forests.

smtLib

Haskell datatypes for generating SMTLIB files.

hm-types

Tools for constructing "Hindley-Milner + qualified types + kinds" based type systems.

sbv

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

constraint_solver

HM

LL

mini-sat

A Haskell implementation of a simple SAT solver

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cabal-mon

Monitor parallel Cabal builds

happy

The Happy parser generator for Haskell

lang

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

misc

Miscellaneous files

module-98

An implementation of the Haskell 98 module system.

rfcs

Discussion about proposed changes to the Haskell programming language

RNN

sand-box

vector-graphics

alex

A lexical analyser generator for Haskell

arduino-test

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

hashtables

Mutable hash tables for Haskell, in the ST monad

haskell-vim

Custom Haskell Vimscripts

language-lua

Lua parser and pretty-printer

monadic-language-talk

mystery_mansion

th-printf

Compile-time checked printf

yav.github.com