Explore projects

Dasselbe, aber mit prolog-tests.

A tool to transform Prolog programs to Curry programs

Libraries with operations to strongly encapsulate non-deterministic computations

Library to deal with a global association between strings

Library for handling global entities in programs

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

Backup repository for the "Advanced Programming" course.

A script to call SWI-Prolog with complete search

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

Library for programming with sockets

A partial evaluator for Curry (without sharing)

Library to support reading/writing binary data

PAKCS: The Portland Aachen Kiel Curry System

Base libraries for Curry systems