Software Technology: Software Archive
|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.
|Authors / Maintainers
|Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit
No longer maintained at Utrecht
|Tiger in Stratego
|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 transformation.
|wxHaskell: Haskell GUI Library
|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.
|UHC is the Utrecht Haskell Compiler. UHC supports almost all Haskell98 features plus experimental extensions. UHC is written using UUAGC.
|Atze Dijkstra, Doaitse Swierstra, and Jeroen Fokker
|http://foswiki.cs.uu.nl/foswiki/UHC & https://github.com/UU-ComputerScience/uhc
|UUAGC is the Utrecht University Attribute Grammar Compiler, a preprocessor for Haskell which makes it easy to define tree walks using the intuitive concepts of inherited and synthesized attributes.
|Jeroen Bransen, Arie Middelkoop, Doaitse Swierstra, and Atze Dijkstra