Explore projects

Read and update files containing properties in equational syntax

Operations to format values of basic data types with formatting f lags

Operations related to the program execution path

Libraries for accessing databases via database keys

Libraries for type-safe database programming

User- and host creation/removal hook scripts for FusionDirectory

Base libraries for Curry systems

A tool to optimize contracts in FlatCurry programs by proving contracts

Libraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.

The standard preprocessor of Curry

A compiler for Curry into JavaScript programs used in WUIs.

A transformation tool to replace Boolean equalities by equational constraints

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

A simple GUI for highlighting functions in the source text

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

Shows the usage of imported entities in a module

A documentation generator for Curry