jtkristensen/BottomTsh jtkristensen/BottomTsh

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Haskell
  • Created almost 5 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jtkristensen/BottomTsh
github

jtkristensen

Reviews

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

Repository Details

A Dependently Timed Drum Machine Language

More Repositories

1

Jeopardy

The official interpreter for the Jeopardy language
Haskell
16
star
2

f-flat

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

pun-lang

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

exercises-in-type-level-programming

This repository contains exercises about type-level programming
Haskell
5
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