BinderDavid
PhD student in type theory and programming languages
Universität TübingenTübingen, Germany
Pinned Repositories
AbstractMachines
Abstract machines for functional programming languages
bibliography
Hand-curated bibliography for my projects.
config-files
Configuration files for various applications
ghc-javascript-ci
hegg
Fast equality saturation in Haskell
helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
HoTT-StudyGroup
Tübingen Study Group for Homotopy Type Theory
pointer-abstract-machine
The Pointer Abstract Machine from Sec. 9 of Curien & Herbelin's "The Duality of Computation"
tasty-coverage
Generate per-test coverage reports for tasty testsuites
tuple-fields
Accessing tuple fields in Haskell using record dot syntax.
BinderDavid's Repositories
BinderDavid/bibliography
Hand-curated bibliography for my projects.
BinderDavid/tuple-fields
Accessing tuple fields in Haskell using record dot syntax.
BinderDavid/ghc-javascript-ci
BinderDavid/tasty-coverage
Generate per-test coverage reports for tasty testsuites
BinderDavid/BinderDavid.github.io
My academic website
BinderDavid/cabal
Official upstream development repository for Cabal and cabal-install
BinderDavid/cabal-website
The http://www.haskell.org/cabal/ website
BinderDavid/directory
Platform-independent library for basic file system operations
BinderDavid/effekt-experiments
BinderDavid/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
BinderDavid/eventlog2html
Visualise eventlog events as a static webpage
BinderDavid/ghc-events
Library and tool for parsing .eventlog files from GHC
BinderDavid/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
BinderDavid/ghcup-hs
BinderDavid/ghcup-metadata
GHCup metadata repository
BinderDavid/hakyll
A static website compiler library in Haskell
BinderDavid/haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
BinderDavid/icfp-tutorial
Aeneas tutorial for ICFP
BinderDavid/mendel
Mutation Operators for Haskell Sourcecode
BinderDavid/mucheck
Mutation analysis library for haskell
BinderDavid/pvp
Haskell Package Version Policy (PVP)
BinderDavid/stackage
Stable Haskell package sets: vetted consistent packages from Hackage
BinderDavid/tuebixorg
Tübix website (Jekyll)
BinderDavid/unicode-collation
Haskell implementation of the Unicode Collation Algorithm
BinderDavid/unicode-data
Access unicode character database
BinderDavid/unicode-transforms
Fast Unicode normalization in Haskell
BinderDavid/unification-zoo
Implementations of Higher-Order Unification
BinderDavid/unix
POSIX functionality
BinderDavid/writing-a-c-compiler
BinderDavid/writing-a-c-compiler-tests
Test cases for Writing a C Compiler