David Thrane Christiansen

icon indicating an email [email protected]

icon location Copenhagen, Denmark

Results 16 repositories owned by David Thrane Christiansen

derive-all-the-instances

31
Stars
5
Forks
Watchers

Work on type class deriving with elaboration reflection

verified publisher icon david-christiansen

epigram1

50
Stars
5
Forks
Watchers

A version of Epigram 1 that can run with newer GHCs

verified publisher icon david-christiansen

final-pretty-printer

34
Stars
5
Forks
Watchers

A monadic (and pretty) pretty printer for Haskell

verified publisher icon david-christiansen

dan-scheme

16
Stars
4
Forks
Watchers

A very little language

verified publisher icon david-christiansen

dr-racket-like-unicode

16
Stars
2
Forks
Watchers

A clone of DrRacket-style Unicode symbol input for Emacs

verified publisher icon david-christiansen

idris-interaction.rkt

30
Stars
4
Forks
Watchers

A Racket library for interacting with Idris over the IDE protocol

verified publisher icon david-christiansen

idris-quickcheck

57
Stars
9
Forks
Watchers

A port of QuickCheck to Idris

verified publisher icon david-christiansen

idris-type-providers

85
Stars
6
Forks
Watchers

Type provider library for Idris

verified publisher icon david-christiansen

IdrisAtGalois2015

50
Stars
0
Forks
Watchers

Slides and exercises for the Idris course taught at Galois

verified publisher icon david-christiansen

IdrisSqlite

40
Stars
8
Forks
Watchers

Effectful bindings for SQLite (forked from IdrisWeb)

verified publisher icon david-christiansen