A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
Memol is a well-structured music notation language focused on MIDI.
MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
Implementation of SeqBox in OCaml
object oriented unit testing framework for ocaml