jtkristensen/exercises-in-type-level-programming jtkristensen/exercises-in-type-level-programming

  • Stars
    star
    5
  • Rank 2,858,498 (Top 57 %)
  • Language
    Haskell
  • Created almost 2 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jtkristensen/exercises-in-type-level-programming
github

jtkristensen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

This repository contains exercises about type-level programming

More 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

online-partial-evaluation

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

advent-of-code

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

MusiComponator

A combinator library for music composition.
Haskell
1
star
8

rfun-interpreter

An implementation of a reversible programming language
Haskell
1
star
9

Defun

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

agda-exercises

This repository contains Agda programming exercises.
Agda
1
star