Explore projects

A library to implement Constraint Handling Rules in Curry

Libraries to represent Prolog programs in Curry

Libraries for programming graphical user interfaces

Libraries to represent Haskell programs in Curry

QuickCheck tests for exercises

A tool to verify whether a Curry program executes without failures

A tool to optimize contracts in FlatCurry programs by proving contracts

This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.

Implementation of the SMT-LIB standard for Curry

Library with functional logic parser combinators

A tool to reduce the size of FlatCurry programs

Libraries to represent FlatCurry programs with arbitrary annotations

Libraries for XML processing

Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)

Libraries implementing red-black trees for tables and sets

Library for pseudo-random number generation

Library with double-ended queues supporting access at both ends in constant amortized time