Explore projects

Library supporting formatted output on terminals

An Advanced Command Line Parser for Curry

Library for reading/writing files in CSV format

A Pretty Printer for Two Dimensions

Library to deal with a global association between strings

Library for distributed programming with ports

Curry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names

A tool to generate conversion functions between Curry data types and XML representations

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

Library for roman numbers

Libraries for automated, property-based testing of Curry programs

Library to support lightweight generic traversals through tree-structured data

Analyzing the residuation behavior of Curry programs

Package containing utility operations to invert functions

An implementation of arrays with Braun trees

A tool to generate a makefile for a Curry application