Explore projects

Some auxiliaries used by the Curry preprocessor to check contracts

A simple GUI for highlighting functions in the source text

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

Libraries to process markdown documents

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

COOSy: A tool to observe functional logic computations

Utilities for sending emails

Library defining natural numbers in Peano representation

A web-based editor and browser for small programs.

Operations to deal with Curry module names and paths

Shows the usage of imported entities in a module

CLP libraries for PAKCS

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

Library with to represent strongly encapsulated non-deterministic computations as a search tree

Masala: The Repository of Curry Packages

The standard preprocessor of Curry