Explore projects

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

Libraries implementing red-black trees for tables and sets

Package containing utility operations to invert functions

Utilities for sending emails

Backup repository for the "Advanced Programming" course.

Libraries for XML processing

Libraries to deal with FlatCurry programs

A tool to reduce the size of FlatCurry programs

Linearity optimizer for functional patterns and non-strict unification

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.

Libraries to support the type-oriented construction of web user interfaces

Libraries to represent JavaScript programs in Curry