binderdavid Goto Github PK

abstract-machines-script

Abstract Machines

abstractmachines

Abstract machines for functional programming languages

acmart-template

Template project for latex papers using the acmart style

algebraic-subtyping

Haskell implementation of algebraic subtyping

bibliography

Hand-curated bibliography for my projects.

binderdavid.github.io

My academic website

buildbot-docker-example-config

example configuration for running buildbot in docker

cabal

Official upstream development repository for Cabal and cabal-install

cabal-website

The http://www.haskell.org/cabal/ website

cargo

The Rust package manager

chapelure

Chapelure is a diagnostic library for Haskell

compact-closed-categories

A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types

config-files

Configuration files for various applications

contract

Github hosted version of the contract package on Hackage

cubicaltt

Experimental implementation of Cubical Type Theory

deepseq

Deep evaluation of data structures

deepthought

A simple blog theme focused on writing powered by Bulma and Zola.

diagnose

A simple library for reporting compiler/interpreter errors

directory

Platform-independent library for basic file system operations

effekt-vscode

Visual Studio Code extension for the Effekt language

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

electron-threepenny

UNMAINTAINED, INCOMPLETE AND BUGGY - USE AT YOUR OWN RISK :: Electron bindings for threepenny-gui

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

error-messages

eventlog2html

Visualise eventlog events as a static webpage

fragnix

Fragment-based code distribution!

fragnix-core

The core datatype definitions of fragnix

fragnix-server

Serves code fragments and meta-data.

ghc-events

Library and tool for parsing .eventlog files from GHC

ghc-javascript-ci