12 open source projects by david-christiansen

An implementation of Pie in Haskell

Type provider library for Idris

Slides and exercises for the Idris course taught at Galois

A version of Epigram 1 that can run with newer GHCs

Helm support for ghc-mod metadata

A clone of DrRacket-style Unicode symbol input for Emacs

A Racket library for interacting with Idris over the IDE protocol

Effectful bindings for SQLite (forked from IdrisWeb)

A monadic (and pretty) pretty printer for Haskell

A port of QuickCheck to Idris

A playground for type theory implementations in Racket

A zipper library for Racket