Explore projects

Tools to support the verification of Curry programs

Library for roman numbers

Performance test data for the Curry package manager. Extracted from the npm registry.

OUTDATED, moved to https://github.com/cau-placc/curry-tools

Libraries implementing red-black trees for tables and sets

Libraries for XML processing

Base libraries for Curry systems

Libraries to visualize graphs with Graphviz

Libraries with operations to strongly encapsulate non-deterministic computations

Tools for Curry that are used in PAKCS and KiCS2

Operations related to the program execution path

Library to specify the semantics of regular expressions

The Curry Package Manager

A partial evaluator for Curry

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