Explore projects

Libraries to represent Julia programs in Curry

Seminar paper on Selective Applicative Functors

PAKCS: The Portland Aachen Kiel Curry System

Automatic testing framework for Play web applications written in Scala

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

First version of KiCS, the Curry –> Haskell Compiler

The Concurrent Haskell Debugger

Fork of the holumbus framework

The Curry Report

A library with a Boolean Constraint Solver based on BDDs.

Libraries for finite domain constraint programming with SMT solvers

A partial evaluator for Curry

Masterprojekt im Sommersemester 2017: Dr. Haskell

The central repository index of CPM

An ECMAScript library for Curry

Libraries to represent Prolog programs in Curry