jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.
The University in Oslo.3410 Sylling, Norway.
Pinned Repositories
advent-of-code
My solutions to advent-of-code
agda-exercises
This repository contains Agda programming exercises.
BottomTsh
A Dependently Timed Drum Machine Language
Defun
Two different defunctinoalizing transformations from PCF to SML
exercises-in-type-level-programming
This repository contains exercises about type-level programming
f-flat
The missing key for a MIDI-composer.
Jeopardy
The official interpreter for the Jeopardy language
MusiComponator
A combinator library for music composition.
online-partial-evaluation
A partial evaluator for the generic first order functional language.
pun-lang
The Fun programming language, extended with built-in utilities for property based testing.
jtkristensen's Repositories
jtkristensen/Jeopardy
The official interpreter for the Jeopardy language
jtkristensen/BottomTsh
A Dependently Timed Drum Machine Language
jtkristensen/f-flat
The missing key for a MIDI-composer.
jtkristensen/pun-lang
The Fun programming language, extended with built-in utilities for property based testing.
jtkristensen/exercises-in-type-level-programming
This repository contains exercises about type-level programming
jtkristensen/online-partial-evaluation
A partial evaluator for the generic first order functional language.
jtkristensen/advent-of-code
My solutions to advent-of-code
jtkristensen/agda-exercises
This repository contains Agda programming exercises.
jtkristensen/Defun
Two different defunctinoalizing transformations from PCF to SML
jtkristensen/MusiComponator
A combinator library for music composition.
jtkristensen/rfun-interpreter
An implementation of a reversible programming language
jtkristensen/Double-Negation-Translations
We prove the correctness of Kolmogorov's double negation translation in Twelf.