David Binder's repositories
bibliography
Hand-curated bibliography for my projects.
tuple-fields
Accessing tuple fields in Haskell using record dot syntax.
tasty-coverage
Generate per-test coverage reports for tasty testsuites
BinderDavid.github.io
My academic website
cabal
Official upstream development repository for Cabal and cabal-install
cabal-website
The http://www.haskell.org/cabal/ website
directory
Platform-independent library for basic file system operations
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
eventlog2html
Visualise eventlog events as a static webpage
ghc-events
Library and tool for parsing .eventlog files from GHC
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
ghcup-metadata
GHCup metadata repository
haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
haskellfoundation.github.io
The Haskell Foundation website, hosted by GitHub Pages.
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
pandoc
Universal markup converter
pattern-matching-in-rust
Pattern matching and exhaustiveness checking algorithms implemented in Rust
process
Library for dealing with system processes
run-fourmolu
Fourmolu GitHub Action
stackage
Stable Haskell package sets: vetted consistent packages from Hackage
unification-zoo
Implementations of Higher-Order Unification
unix
POSIX functionality
win32
Haskell support for the Win32 API