Explore projects

First version of KiCS, the Curry –> Haskell Compiler

Fork of the holumbus framework

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

A tool to verify whether a Curry program executes without failures

A tool to generate conversion functions between Curry data types and XML representations

A collection of common non-deterministic and/or combinatorial operations

A tool to add missing type signatures to top-level operations in a Curry module

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

The library folders, with separate branches for kics2, pakcs and the common libraries

The central repository index of CPM

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

Library for for simple cryptography hashing

Some auxiliaries used by the Curry preprocessor to check contracts

Package containing utility operations to invert functions

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

Basic Curry modules for the frontend

A library with a Boolean Constraint Solver based on BDDs.

A simple GUI for highlighting functions in the source text

A tool to optimize contracts in FlatCurry programs by proving contracts