Explore projects

PAKCS: The Portland Aachen Kiel Curry System

The base libraries of Curry distributions, like PAKCS or KiCS2

A compiler and run-time system to compile and run Curry programs as Go programs

A web-based editor and browser for small programs.

Dasselbe, aber mit prolog-tests.

Library for programming with sockets

Libraries with operations to strongly encapsulate non-deterministic computations

Library to support reading/writing binary data

Library for handling global entities in programs

CLP libraries for PAKCS

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

A script to call SWI-Prolog with complete search

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

A tool to transform Prolog programs to Curry programs

A library to implement Constraint Handling Rules in Curry