Explore projects

Analyzing the residuation behavior of Curry programs

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

Library defining natural numbers in Peano representation

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

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

Library to support lightweight generic traversals through tree-structured data

Libraries to represent Go programs in Curry

Masala: The Repository of Curry Packages

Library for handling global entities in programs

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

Libraries to represent Julia programs in Curry

Libraries for programming graphical user interfaces

Libraries for HTML programming with event-handler-based form processing

This package contains libraries to exactly print a curry-ast back to its source representation.

Simple website to demonstrate SQL-Injections

Prototype implementation of synthesizing set functions

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