There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Jeopardy
The official interpreter for the Jeopardy languageBottomTsh
A Dependently Timed Drum Machine Languagef-flat
The missing key for a MIDI-composer.pun-lang
The Fun programming language, extended with built-in utilities for property based testing.exercises-in-type-level-programming
This repository contains exercises about type-level programmingonline-partial-evaluation
A partial evaluator for the generic first order functional language.advent-of-code
My solutions to advent-of-codeMusiComponator
A combinator library for music composition.rfun-interpreter
An implementation of a reversible programming languageagda-exercises
This repository contains Agda programming exercises.Love Open Source and this site? Check out how you can help us