The software presented on this page has been written by members and previous members of the Software Technology Group.
Helium, Haskell compiler for learning Haskell
|Helium is a functional programming language (a subset of Haskell) and a compiler designed especially for teaching.
|Jurriaan Hage, and Bastiaan Heeren
|The Utrecht University parser combinator library provides online, error correction, annotation free, applicative style parser combinators. In addition to this there is a monadic and an idomatic interface. Parsers do analyse themselves to avoid commonly made errors.
T3: Automated Unit Testing Tool for JAVA
|T3 is a powerful automated unit testing tool to test Java classes. Given a target class to test, it randomly generates sequences of calls to the class' methods to test it. It catches unexpected exception; but if you had written assertions in the class, then violations to those will be caught as well.
UHC, Utrecht Haskell Compiler
|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
UUAGC, Utrecht University Attribute Grammar Compiler
|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