Explore projects

Libraries to deal with AbstractCurry programs

Libraries with operations to strongly encapsulate non-deterministic computations

Library to support reading/writing binary data

A call-pattern analysis and transformation tool to improve lazy non-deterministic computations

The Curry Analysis Server System

Libraries for type-safe database programming

CLP libraries for PAKCS

Some auxiliaries used by the Curry preprocessor to check contracts

COOSy: A tool to observe functional logic computations

The Curry Package Manager

Simple management functions for the Curry Package Manager

The Curry frontend

The base libraries of Curry distributions, like PAKCS or KiCS2

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

Tools for Curry that are used in PAKCS and KiCS2

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