Explore projects

Library for pseudo-random number generation

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

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

Read and update files containing properties in equational syntax

A tool to verify properties of Curry programs (contracts, non-failing)

A tool to transform Prolog programs to Curry programs

Libraries to represent Prolog programs in Curry

Library to access profile data of the back-end Prolog system of PAKCS

Library to access profile data of the back-end Prolog system of PAKCS

Operations to format values of basic data types with formatting f lags

Library for distributed programming with ports

A tool to implement plural arguments in a Curry program

Automatic testing framework for Play web applications written in Scala

A partial evaluator for Curry (without sharing)

A partial evaluator for Curry