The software presented on this page has been written by members and previous members of the Software Technology Group.
schematic description of the UHC Toolchain
Schematic representation of the UHC internal toolchain
Accelerate is a free, general-purpose, open-source library for Haskell that simplifies the process of developing software that targets massively parallel architectures including multicore CPUs and GPUs.
Cogent is a purely functional language aimed at reducing the cost of
verified systems code. The COgent project is a cooperation between the
University of New South Wales, Sydney, Data 61, and Utrecht
Helium is a functional programming language (a subset of Haskell) and
a compiler designed especially for teaching.
Authors/Maintainers Jurriaan Hage, Bastiaan Heeren and many others
Additional Material [Website](https://github.com/Helium4Haskell/)
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
Authors/Maintainers Doaitse Swierstra
T3 is an 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. There is also a query front
end called T3i that allows tests to be generated and queried to interactively
check of a given specification/predicate would hold.
* Authors/Maintainers: [Wishnu Prasetya](http://www.cs.uu.nl/~wishnu)
* Website: [T3 at UU-gitlab](https://git.science.uu.nl/prase101/t3/wikis/home)
* Paper: [T3i: a tool for generating and querying test suites for Java](https://dl.acm.org/citation.cfm?id=2803182)