jtkristensen

Joachim Tilsted Kristensen's repositories

The official interpreter for the Jeopardy language

Language:HaskellBSD-3-Clause16 50

A Dependently Timed Drum Machine Language

Language:Haskell9 20

The missing key for a MIDI-composer.

Language:F#7 10

The Fun programming language, extended with built-in utilities for property based testing.

Language:HaskellNOASSERTION6 20

This repository contains exercises about type-level programming

Language:Haskell5 10

A partial evaluator for the generic first order functional language.

Language:HaskellBSD-3-Clause200

My solutions to advent-of-code

Language:HaskellBSD-3-Clause1 20

This repository contains Agda programming exercises.

Language:Agda100

Two different defunctinoalizing transformations from PCF to SML

Language:TeX1 20

A combinator library for music composition.

Language:HaskellBSD-3-Clause1 20

An implementation of a reversible programming language

Language:HaskellGPL-3.01 10

We prove the correctness of Kolmogorov's double negation translation in Twelf.

010