Center(Internal) For software for your Mac, see our IntraWiki
The software on this page has been written by members and previous members of the Software Technology Group
of the Institute
of Information and Computing Sciences
of Utrecht University
Haskell Utrecht Tools (HUT) [UUAGC, UU.Parsing, UU.Pretty]
- Generic Haskell
Authors: Dave Clarke, Ralf
Hinze, Johan Jeuring, Andres Löh, and Jan de Wit.
Given a file with definitions of type-indexed
functions, kind-indexed kinds, or type-indexed
data types, the Generic Haskell compiler
generates Haskell code for the instances of
these functions on the data types that occur in
the input file.
- Polytypic programming
Authors: Johan Jeuring and Patrik Jansson
PolyP extends a functional language (a subset of
Haskell) with a construct for writing polytypic
functions. A polytypic function is a function
that is defined by induction on the structure of
T2 is a fully automated unit testing tool for Java with lots of nice features. Info and download:
Author: Wishnu Prasetya
No Longer maintained at Utrecht
Authors: Erik Meijer and Daan Leijen.
ActiveHaskell? is the collective name for all
Haskell components that allow interaction with
the COM/ActiveX framework.
- Parsec: Parser Combinators Last update: 4-Oct-2001
Author: Daan Leijen
The combinators are distrubuted as part of the GHC distribution.
- wxHaskell: Haskell GUI Library Last update: 19-Aug-2003
Author: Daan Leijen
wxHaskell is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves.
attribute grammar system LRC
Authors: Matthijs Kuiper, João Saraiva and DoaitseSwierstra
LRC can be used to generate efficient, incremental higher order attribute grammar evaluators.
Stratego is a language for the specification of
program transformation systems based on the
paradigm of rewriting strategies.
Authors: Merijn de Jonge, http://www.cs.uu.nl/~visser/Eelco Visser]] and Joost Visser
XT is a bundle of program transformation tools
including Stratego, the SDF Grammar base, and
tools for grammar recovery
- Tiger in Stratego
Author: Eelco Visser
An implementation of a compiler for Andrew
Appel's Tiger language and other transformations
on Tiger programs. The implementation has been
developed as a case study in the use of
transformation techniques in compilation and is
used in teaching program