Pinned Repositories
AbstractMachines
Abstract machines for functional programming languages
algebraic-subtyping
Haskell implementation of algebraic subtyping
bibliography
Hand-curated bibliography for my projects.
config-files
Configuration files for various applications
ghc-javascript-ci
haskell-spec
Formal specification of the Haskell Language Report
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"
tuple-fields
Accessing tuple fields in Haskell using record dot syntax.
veriflex
Verified lexer for Lean 4
BinderDavid's Repositories
BinderDavid/haskell-spec
Formal specification of the Haskell Language Report
BinderDavid/bibliography
Hand-curated bibliography for my projects.
BinderDavid/veriflex
Verified lexer for Lean 4
BinderDavid/writing-a-c-compiler
BinderDavid/tasty-coverage
Generate per-test coverage reports for tasty testsuites
BinderDavid/writing-a-c-compiler-tests
Test cases for Writing a C Compiler
BinderDavid/BinderDavid.github.io
My academic website
BinderDavid/cabal-website
The http://www.haskell.org/cabal/ website
BinderDavid/effekt
A language with lexical effect handlers and lightweight effect polymorphism
BinderDavid/effekt-experiments
BinderDavid/eventlog2html
Visualise eventlog events as a static webpage
BinderDavid/generative-music-munihac
BinderDavid/gibbon
A compiler for functional programs on serialized data
BinderDavid/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
BinderDavid/granule-project.github.io
The Granule Project Website
BinderDavid/granule-vscode-extension
VSCode extension for Granule
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/IParsec
An indentation sensitive implementation of Parsec in Lean
BinderDavid/liquidate
Template for building a project with Liquid Haskell
BinderDavid/mendel
Mutation Operators for Haskell Sourcecode
BinderDavid/mucheck
Mutation analysis library for haskell
BinderDavid/par-lang
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
BinderDavid/pvp
Haskell Package Version Policy (PVP)
BinderDavid/RVPCWorkshop
Guide for our RVPC Workshop at 38C3
BinderDavid/tuebixorg
Tübix website (Jekyll)
BinderDavid/unicode-collation
Haskell implementation of the Unicode Collation Algorithm
BinderDavid/unicode-transforms
Fast Unicode normalization in Haskell
BinderDavid/verso
Lean documentation authoring tool