Joachim Tilsted Kristensen (@jtkristensen)
github

jtkristensen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    50
  • Global Rank 340,765 (Top 12 %)
  • Followers 54
  • Following 128
  • Registered over 10 years ago
  • Most used languages
    Haskell
         72.7 %
    TeX
         9.1 %
    Agda     9.1 %
    F#
         9.1 %
  • Location πŸ‡³πŸ‡΄ Norway
  • Country Total Rank 1,564
  • Country Ranking
    Agda     2
    Haskell
         6
    F#
         20
    TeX
         159

Top repositories

1

Jeopardy

The official interpreter for the Jeopardy language
Haskell
16
star
2

BottomTsh

A Dependently Timed Drum Machine Language
Haskell
9
star
3

f-flat

The missing key for a MIDI-composer.
F#
7
star
4

pun-lang

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

exercises-in-type-level-programming

This repository contains exercises about type-level programming
Haskell
5
star
6

online-partial-evaluation

A partial evaluator for the generic first order functional language.
Haskell
2
star
7

advent-of-code

My solutions to advent-of-code
Haskell
1
star
8

MusiComponator

A combinator library for music composition.
Haskell
1
star
9

rfun-interpreter

An implementation of a reversible programming language
Haskell
1
star
10

Defun

Two different defunctinoalizing transformations from PCF to SML
TeX
1
star
11

agda-exercises

This repository contains Agda programming exercises.
Agda
1
star