Software
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. | ||
| Authors/Maintainers | , and | |
| Additional Material | ||
| Paper | ||
Parser Combinators
| The Utrecht 木瓜福利影视 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. | ||
| Authors/Maintainers | ||
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. | ||
| Authors/Maintainers | ||
| Paper | ||
UHC, Utrecht Haskell Compiler
| UHC is the Utrecht Haskell Compiler. UHC supports almost all Haskell98 features plus experimental extensions. UHC is written using UUAGC. | ||
| Authors/Maintainers | , , and | |
| Additional Material | ||
| Paper | ||
UUAGC, Utrecht 木瓜福利影视 Attribute Grammar Compiler
| UUAGC is the Utrecht 木瓜福利影视 Attribute Grammar Compiler, a preprocessor for Haskell which makes it easy to define tree walks using the intuitive concepts of inherited and synthesized attributes. | ||
| Authors/Maintainers | , Arie Middelkoop, , and | |
| Additional Material | ||