Explore projects

A tool to implement plural arguments in a Curry program

Library for dealing with URLs

Libraries to deal with AbstractCurry programs

Library and tool to show FlatCurry programs in human-readable (Curry-like) form

A documentation generator for Curry

Tools to support the verification of Curry programs

Tools for Curry that are used in PAKCS and KiCS2

Libraries with operations to strongly encapsulate non-deterministic computations

Libraries to visualize graphs with Graphviz

Library to specify the semantics of regular expressions

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

The Curry Package Manager

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

The Spicey web framework for Curry

Simple management functions for the Curry Package Manager

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

The Curry Analysis Server System

Tools for database applications specified by entity-relationship diagrams (ERDs)

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