- Programming Language: Haskell ×
Showing page 1 of 1.
A simple program for comparing data sets with simple algorithms.1 weekly downloads
A model checker for "Dynamic Epistemic Logic", written in literate Haskell.0 weekly downloads
The project is an implementation of DSP and related algorithms in the programming language Haskell.1 weekly downloads
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.2 weekly downloads