Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
KiCS2: The Kiel Curry System v.2
-
The library folders, with separate branches for kics2, pakcs and the common libraries
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
Library defining natural numbers in Peano representation
-
A universal REPL which can be used on top of a Curry compiler
-
The central repository index of CPM
-
Libraries to represent Go programs in Curry
-
The Curry Package Manager
-
Generic intermediate format for compiling Curry to imperative languages
-
Libraries for XML processing
-
-
PAKCS: The Portland Aachen Kiel Curry System
-
The base libraries of Curry distributions, like PAKCS or KiCS2
-
The sources of the tutorial on Curry.
-
The Curry frontend
-
Utilities for sending emails
-
-
Operations to execute the front end of the Curry system
-
Tools for Curry that are used in PAKCS and KiCS2
-
The Curry Analysis Server System