Explore projects

Libraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.

A Curry Program Coverage tool

Libraries to support a bi-directional transformation between BPMN and BPEL

Library to specify the semantics of regular expressions

Library for inductive graphs

Library for dealing with URLs

Libraries to visualize graphs with Graphviz

Libraries to process markdown documents

A web-based editor and browser for small programs.

The Curry Report

First version of KiCS, the Curry –> Haskell Compiler

Fork of the holumbus framework

Automatic testing framework for Play web applications written in Scala

The Concurrent Haskell Debugger

GnuPG public keys for PS-IfI developers and the PS-IfI archive

Library with double-ended queues supporting access at both ends in constant amortized time

Library supporting formatted output on terminals

Library to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free