Explore projects

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

This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.

Libraries to deal with AbstractCurry programs

KiCS2: The Kiel Curry System v.2

PAKCS: The Portland Aachen Kiel Curry System

A tool to verify whether a Curry program executes without failures

Possible topics for the (masters') seminar.