jtkristensen/pun-lang jtkristensen/pun-lang

  • Stars
    star
    6
  • Rank 2,536,856 (Top 51 %)
  • Language
    Haskell
  • License
    Other
  • Created over 1 year ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jtkristensen/pun-lang
github

jtkristensen

Reviews

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

Repository Details

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

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

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