3410 Sylling, Norway.

Joachim Tilsted Kristensen

Expert
@jtkristensen

I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.

Jeopardy. The official interpreter for the Jeopardy language

16

BottomTsh. A Dependently Timed Drum Machine Language

11

f-flat. The missing key for a MIDI-composer.

7

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

6

exercises-in-type-level-programming. This repository contains exercises about type-level programming

5

online-partial-evaluation. A partial evaluator for the generic first order functional language.

2

MusiComponator. A combinator library for music composition.

1

agda-exercises. This repository contains Agda programming exercises.

1

advent-of-code. My solutions to advent-of-code

1

Defun. Two different defunctinoalizing transformations from PCF to SML

1

rfun-interpreter. An implementation of a reversible programming language

1
11
Apply