Explore projects

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

OUTDATED, moved to https://github.com/curry-language/masala

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

General utility functions and useful additions to the standard library

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

Libraries to read and write FlatCurry programs with type annotations

A partial evaluator for Curry (without sharing)

Representation and generation of Ninja files

A tool to check the formatting style of Curry programs

Library for programming with sockets

KiCS2: The Kiel Curry System v.2