Explore projects

This package contains libraries to exactly print a curry-ast back to its source representation.

Library for distributed programming with ports

Library for handling global variables in PAKCS

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

Library to support reading/writing binary data

Implementation of the SMT-LIB standard for Curry

Utilities for sending emails

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.

A Curry Program Coverage tool

Libraries to support a bi-directional transformation between BPMN and BPEL

Library to specify the semantics of regular expressions