ezyang

lr-agda

Logical relations proof in Agda

hpd3js

Haskell heap profiling with D3.js

ghc-rts-rust

A reimplementation of GHC's runtime system in Rust

deepseq-magic

Deep evaluation of data structures without NFData

HoTT-coqex

Coq solutions to exercises in HoTT book

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

stg-spec

Specification of GHC's spineless tagless G-machine and its cost semantics

tmr-issue24

Mini-issue of The Monad Reader!

breaking-barriers

Research repository for "breaking barriers"

xmobar

A minimalistic text-based status bar

bake

Experimental GHC API driver for Backpack

barnowl

A multi-protocol curses IM client.

rlimits

Support code for Haskell resource limits.

offlineimap

Read/sync your IMAP mailboxes [Python]

pldi14-rlimits-aec

Artifact evaluation for PLDI'14

rust

a safe, concurrent, practical language

tmr-issue23

Issue 23 of The Monad Reader

book

A textbook on informal homotopy type theory

coq-packaging

Debian packaging for Coq

coq-packaging-precise

flask

A microframework based on Werkzeug, Jinja2 and good intentions

happy

The Happy parser generator for Haskell

HoTT

Homotopy type theory

mongoDB-haskell

MongoDB driver for Haskell

mtl

The Monad Transformer Library

packages-integer-gmp

Mirror of packages-integer-gmp repository. DO NOT SUBMIT PULL REQUESTS HERE

plover

Open source stenotype engine

serum

Benchmark test for Cheney copies versus serialization.

sup

A curses threads-with-tags style email client.

win32

Haskell support for the Win32 API