Name: Joachim Tilsted Kristensen
Type: User
Company: The University in Oslo.
Bio: I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.
Location: 3410 Sylling, Norway.
Joachim Tilsted Kristensen's Projects
My solutions to advent-of-code
This repository contains Agda programming exercises.
A Dependently Timed Drum Machine Language
Two different defunctinoalizing transformations from PCF to SML
We prove the correctness of Kolmogorov's double negation translation in Twelf.
This repository contains exercises about type-level programming
The missing key for a MIDI-composer.
The official interpreter for the Jeopardy language
A combinator library for music composition.
A partial evaluator for the generic first order functional language.
The Fun programming language, extended with built-in utilities for property based testing.
An implementation of a reversible programming language