Explore projects

A tool for declarative software development

A tool to support executable benchmark papers

Libraries to represent JavaScript programs in Curry

Library for dealing with URLs

Libraries to implement declarative user interfaces

IDE support for Curry

Libraries to represent Haskell programs in Curry

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

A library to implement Constraint Handling Rules in Curry

Libraries to represent FlatCurry programs with arbitrary annotations

Library for inductive graphs

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

Libraries for HTML programming

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

A Curry Program Coverage tool

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