Explore projects

Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner

PAKCS: The Portland Aachen Kiel Curry System

Libraries for HTML programming with event-handler-based form processing

The Curry frontend

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

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

KiCS2: The Kiel Curry System v.2

A GUI to browse and analyze the modules of a Curry program

A simple GUI for highlighting functions in the source text

Implementation of command "runcurry"

The central repository index of CPM

COOSy: A tool to observe functional logic computations

The base libraries of Curry distributions, like PAKCS or KiCS2

Tools for Curry that are used in PAKCS and KiCS2

The Curry Package Manager

Simple management functions for the Curry Package Manager

A documentation generator for Curry