Explore projects
-
Updated
-
Updated
-
Updated
-
A tool to verify properties of Curry programs (contracts, non-failing)
Updated -
A tool to transform Prolog programs to Curry programs
Updated -
Libraries with operations to strongly encapsulate non-deterministic computations
Updated -
Updated
-
Library to deal with a global association between strings
Updated -
Libraries to represent Go programs in Curry
Updated -
A universal REPL which can be used on top of a Curry compiler
Updated -
Libraries to read and write FlatCurry programs with type annotations
Updated -
Tools for Curry that are used in PAKCS and KiCS2
Updated -
Package containing utility operations to invert functions
Updated -
General utility functions and useful additions to the standard library
Updated -
Library for handling global entities in programs
Updated -
A compiler and run-time system to compile and run Curry programs as Go programs
Updated -
The base libraries of PAKCS and KiCS2 (fork)
Updated -
PAKCS: The Portland Aachen Kiel Curry System
Updated -
Updated