Explore projects

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

Library to support reading/writing binary data

Library for programming with sockets

Library for handling global entities in programs

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

The base libraries of PAKCS and KiCS2 (fork)

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

The base libraries of Curry distributions, like PAKCS or KiCS2