Software Distributions

Center
*(Internal) For software for your Mac, see our [[https://wwwsec.cs.uu.nl/twiki/bin/view/Bookmarks/SoftwareArchive][IntraWiki]]*.

%TOC%

The software on this page has been written by members and previous members of the <a HREF="../index.html">Software Technology Group</a> of the <a HREF="http://www.cs.uu.nl">Institute
 of Information and Computing Sciences</a> of <a HREF="http://www.uu.nl">Utrecht  University</a>.</p>

<!-- NOTE : this page should be converted to wiki formatting -->

---+++ Haskell Utrecht Tools (HUT) [UUAGC, UU.Parsing, UU.Pretty]

<ul>
<li>  [[http://www.cs.uu.nl/wiki/HUT/WebHome][Haskell Utrecht Tools]] <i> Last update: actively maintained</i><br>
<p>
<em>Authors/Maintainers</em>: Arie Middelkoop, Jeroen Fokker, and Alexey Rodriguez</a><br>

A collection of packages including pretty-printing combinators, error-correcting parser combinators and an attribute grammar system.
</li>
</ul>

---+++ Compiler construction

<ul>


<li>[[Helium.WebHome][Helium]]<br>
<p><em>Contact:</em> [[Hage.WebHome][Jurriaan Hage]]

Helium is a functional programming language and a compiler designed especially for learning Haskell. It is being developed at the Software Technology group of the Institute of Information and Computing Sciences of Utrecht University in the Netherlands. Quality of the error messages has been the main concern both in the choice of the language features and in the implementation of the compiler. Our goal is to let students (or anyone)  learn functional programming more quickly and with more fun.
</p>
</li>

<li>[[UHC.WebHome][UHC (Utrecht Haskell Compiler)]]<br>
<p><em>Author:</em> [[Atze.WebHome][Atze Dijkstra]] and <a HREF="http://www.cs.uu.nl/staff/doaitse.html">Doaitse Swierstra</a><br>

The purpose of the UHC project is to construct a Haskell compiler which is as understandable as possible so it can be used for education as well as research. Furthermore we try to generate (using [[HUT/AttributeGrammarSystem][UUAGC]]) as much of the compiler as possible from an attribute grammar based descriptions. Parts of the type system are generated form Ruler descriptions.

In order to avoid overwhelming the innocent reader, the description of the compiler is organised as a series of increasingly complex steps. Each step corresponds to a Haskell subset which itself is an extension of the previous step. The first step starts with the essentials, namely typed lambda calculus.
Each step corresponds to an actual, that is, an executable compiler.
Each of these compilers is a compiler in its own right so experimenting can be done in isolation of additional complexity introduced in later steps.

A first version of the compiler has been released on April 18, 2009
</p>
</li>

</ul>

----+++ Generic programming

<ul>
<li>&nbsp;<a HREF="http://www.generic-haskell.org/compiler.html">Generic Haskell</a>
<p><em>Authors:</em> <a HREF="http://www.cs.uu.nl/~dave/">Dave Clarke</a>, <a HREF="http://www.informatik.uni-bonn.de/~ralf/">Ralf
 Hinze</a>, <a HREF="http://www.cs.uu.nl/~johanj/">Johan Jeuring</a>, <a HREF="http://www.cs.uu.nl/~andres/">Andres L&ouml;h</a>, and <a HREF="http://www.students.cs.uu.nl/people/jwit/">Jan de Wit</a>.<br>

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.</p></li>

<li>[[http://www.cs.chalmers.se/~patrikj/poly/polyp/][Polytypic programming]]
<p><em>Authors:</em> <a HREF="http://www.cs.uu.nl/~johanj/">Johan Jeuring</a> and <a HREF="http://www.cs.chalmers.se/~patrikj/">Patrik Jansson</a><br>

!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
                     user-defined datatypes.</p></li>
</ul>


----+++ Testing Tool

T2 is a fully automated unit testing tool for Java with lots of nice features. Info and download: 
[ [[WP.T2Framework][here]] ]

Author: [[WP.WebHome][Wishnu Prasetya]]


<!--
Program Verification
<ul>
<li>&nbsp;<a HREF="http://www.cs.uu.nl/~wishnu/research/projects/xMECH" TARGET="_top">xMECH</a>
<p><em>Authors:</em> <a HREF="http://www.cs.uu.nl/staff/ade.html">Ade Azurat</a> and <a HREF="http://www.cs.uu.nl/staff/wishnu.html">Wishnu Prasetya</a>.<br> 

xMECH is a software skin built around HOL. It
                     provides languages support for reasoning about
                     sequential and distributed programs. It is still
                     in a prototype phase. Download is available. It
                     comes with demos.</p></li>

<li>&nbsp;<a HREF="http://www.cs.uu.nl/~wishnu/research/projects/unity" TARGET="_top">HOL Libraries</a>
<p><em>Authors:</em> <a HREF="http://www.cs.uu.nl/staff/wishnu.html">Wishnu Prasetya</a> and <a HREF="http://www.cs.uu.nl/staff/tanja.html">Tanja Vos</a>.<br>

A collection of various verified general
                     theories on distributed systems. They are
                     provided as libraries for the theorem prover
                     HOL.</p></li>
</ul>
-->

----+++ No Longer maintained at Utrecht

<ul>
<li>&nbsp;<a HREF="http://haskell.cs.yale.edu/haskellscript/" TARGET="_top">ActiveHaskell</a>
<p><em>Authors:</em> <a HREF="http://www.cs.uu.nl/staff/erik.html">Erik Meijer</a> and <a HREF="http://www.cs.uu.nl/staff/daan.html">Daan Leijen</a>.<br>
ActiveHaskell is the collective name for all
                     Haskell components that allow interaction with
                     the COM/ActiveX framework.</p></li>

<li>  [[http://www.cs.uu.nl/people/daan/parsec.htm][Parsec: Parser Combinators]]<i> Last update: 4-Oct-2001</i><br>
<p><em>Author</em>: [[http://www.cs.uu.nl/people/daan/index.html][Daan Leijen]]</em><br>
The combinators are distrubuted as part of the GHC distribution.</p>
</li>

<li>  [[http://wxhaskell.sourceforge.net/][wxHaskell: Haskell GUI Library]] <i> Last update: 19-Aug-2003</i><br>
<p><em>Author</em>: [[http://www.cs.uu.nl/people/daan/index.html][Daan Leijen]]</em><br>
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.</p>
</li>

<li>&nbsp;<a HREF="http://www.di.uminho.pt/~jas/Research/LRC/lrc.html">The
                     attribute grammar system LRC</a>
<p><em>Authors:</em> Matthijs Kuiper, [[http://www.di.uminho.pt/~jas/][Jo&atilde;o Saraiva]] and Main.DoaitseSwierstra<br>
LRC can be used to generate efficient, incremental higher order attribute grammar evaluators.</p></li>

<li>[[http://www.stratego-language.org][Stratego]]
<p />
Author:[[http://www.cs.uu.nl/~visser/][Eelco Visser]]
<br>
Stratego is a language for the specification of
                     program transformation systems based on the
                     paradigm of rewriting strategies.
</li>

<li> [[http://www.program-transformation.org/Tools][XT]]
<p /> Authors: [[http://www.cwi.nl/~mdejonge][Merijn de Jonge]], [[http://www.cs.uu.nl/~visser/]]Eelco Visser]] and [[http://www.cwi.nl/~jvisser][Joost  Visser]]<br>
XT is a bundle of program transformation tools
                     including Stratego, the SDF Grammar base, and
                     tools for grammar recovery
</li>

<li> [[http://www.stratego-language.org/Tiger][Tiger in Stratego]] 
<p /> Author: [[http://www.cs.uu.nl/~visser/][Eelco Visser]]
<br>
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.
</li>