Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
KiCS2: The Kiel Curry System v.2
-
The central repository index of CPM
-
A tool to transform Prolog programs to Curry programs
-
PAKCS: The Portland Aachen Kiel Curry System
-
Tools for Curry that are used in PAKCS and KiCS2
-
The Curry Package Manager
-
Implementation of command "runcurry"
-
Library for programming with sockets
-
Library to support reading/writing binary data
-
The Curry frontend
-
The standard preprocessor of Curry
-
Library defining natural numbers in Peano representation
-
-
Libraries to read and write FlatCurry programs with type annotations
-
The base libraries of Curry distributions, like PAKCS or KiCS2
-
The Spicey web framework for Curry
-
Tools for database applications specified by entity-relationship diagrams (ERDs)
-
Libraries for type-safe database programming
-
The library folders, with separate branches for kics2, pakcs and the common libraries