Explore projects

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

Tools to support the verification of Curry programs

Library for dealing with URLs

The sources of the tutorial on Curry.

The Spicey web framework for Curry

A simple GUI for highlighting functions in the source text

Library for programming with sockets

A web-based editor and browser for small programs.

Library and tool to show FlatCurry programs in human-readable (Curry-like) form

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

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

Implementation of command "runcurry"

Library to specify the semantics of regular expressions

A tool to verify properties of Curry programs (contracts, non-failing)

Library to access profile data of the back-end Prolog system of PAKCS

A tool to implement plural arguments in a Curry program

Library defining natural numbers in Peano representation