Explore projects

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

A tool to transform Prolog programs to Curry programs

Libraries with operations to strongly encapsulate non-deterministic computations

Library to deal with a global association between strings

Libraries to represent Go programs in Curry

A universal REPL which can be used on top of a Curry compiler

Libraries to read and write FlatCurry programs with type annotations

Tools for Curry that are used in PAKCS and KiCS2

Package containing utility operations to invert functions

General utility functions and useful additions to the standard library

Library for handling global entities in programs

A compiler and run-time system to compile and run Curry programs as Go programs

The base libraries of PAKCS and KiCS2 (fork)

PAKCS: The Portland Aachen Kiel Curry System