Edward Z. Yang's repositories
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
tmr-issue24
Mini-issue of The Monad Reader!
breaking-barriers
Research repository for "breaking barriers"
offlineimap
Read/sync your IMAP mailboxes [Python]
pldi14-rlimits-aec
Artifact evaluation for PLDI'14
tmr-issue23
Issue 23 of The Monad Reader
coq-packaging
Debian packaging for Coq
Language:OCamlLGPL-2.1000
Language:OCamlLGPL-2.1000
flask
A microframework based on Werkzeug, Jinja2 and good intentions
Language:PythonNOASSERTION000
happy
The Happy parser generator for Haskell
Language:HaskellNOASSERTION000
HoTT
Homotopy type theory
Language:CoqNOASSERTION000
mongoDB-haskell
MongoDB driver for Haskell
Language:HaskellApache-2.0000
mtl
The Monad Transformer Library
Language:HaskellNOASSERTION000
packages-integer-gmp
Mirror of packages-integer-gmp repository. DO NOT SUBMIT PULL REQUESTS HERE
Language:HaskellNOASSERTION000
serum
Benchmark test for Cheney copies versus serialization.
Language:C000
win32
Haskell support for the Win32 API
Language:HaskellNOASSERTION000