aspiwack Goto Github PK

acid-state

Add ACID guarantees to any serializable Haskell data structure

assert-plugin

A GHC plugin for rich, switchable assertions

attrap

ATtempt To Repair At Point (emacs flycheck extension)

axhurkens

boon

Ergonomic Command Mode for Emacs

cadence-of-hyrule

Cadence of Hyrule technical sheets

ceps

Coq Enhancement Proposals

combining-logics

coq

When I have branches to Coq they appear here. But most of the time, this repository is out of sync.

cosa

A thing about Coq-verified Shape Analysis

counterexamples

Counterexamples in Type Systems

dissection-of-l

A dissection of L: article about focalised sequent calculus and dependent types

docker-haskell

Haskell on Docker

doom-modeline

A fancy and fast mode-line inspired by minimalism design.

dotfiles

My home configuration, controled by home-manager

emacs-application-framework

Emacs application framework

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

ephemeral-linear-data

finset

A Coq library for extensional finite sets and comprehension

fulltrees

Balancing lists: a proof pearl

gatsbyjs-notes

Trying gatsbyjs & some of my speedrunning notes customized

ghc-dev-tools

Tools for the ghc developper

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

haskell-ann

Haskell library for nformative annotations which don't change equality

haskell-benign

A library for benign effects in Haskell

hegg

Fast equality saturation in Haskell

hslogger

Logging infrastructure [Haskell]

icfp-captioning

information-stream

kata