Explore projects

PAKCS: The Portland Aachen Kiel Curry System

A library with a Boolean Constraint Solver based on BDDs.

A library to implement Constraint Handling Rules in Curry

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

Base libraries for Curry systems

Library for handling global variables in PAKCS

Library for distributed programming with ports

PAKCS: The Portland Aachen Kiel Curry System

Library to support reading/writing binary data

Library for programming with sockets

A partial evaluator for Curry (without sharing)

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

PAKCS: The Portland Aachen Kiel Curry System

Backup repository for the "Advanced Programming" course.

Library for handling global entities in programs