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/repline
Haskeline wrapper for GHCi-like REPL interfaces
BinderDavid/proof-tree
proof tree display for Proof General
BinderDavid/StudyGroupHigherCategories
Organisation einer Study Group zu Higher Categories
BinderDavid/metalib
The Penn Locally Nameless Metatheory Library
BinderDavid/electron-threepenny
UNMAINTAINED, INCOMPLETE AND BUGGY - USE AT YOUR OWN RISK :: Electron bindings for threepenny-gui
BinderDavid/cubicaltt
Experimental implementation of Cubical Type Theory
BinderDavid/HoTT-StudyGroup
Tübingen Study Group for Homotopy Type Theory
BinderDavid/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)