Explore projects

Read and update files containing properties in equational syntax

Operations related to the program execution path

Curr(y)gle Curry API search

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

This package provides an interface to SAT solvers supporting the DIMACS format.

Library for inductive graphs

Libraries to represent Go programs in Curry

A transformation tool to replace Boolean equalities by equational constraints

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

A curry libary to read the TypedFlatCurry format (*.tfcy) and convert it to AnnotatedFlatCurry (see flatcurry-annotated package)

Libraries for term rewriting and narrowing

Libraries for accessing databases via database keys

Library implementing finite maps (efficient mappings from keys to values)

Representation and generation of Ninja files

A tool to support executable benchmark papers

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

Library for for simple cryptography hashing

A partial evaluator for Curry (without sharing)