jtkristensen/online-partial-evaluation jtkristensen/online-partial-evaluation

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jtkristensen/online-partial-evaluation
github

jtkristensen

Reviews

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

Repository Details

A partial evaluator for the generic first order functional language.

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

exercises-in-type-level-programming

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