Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The central repository index of CPM
-
The Curry Analysis Server System
-
-
Simple management functions for the Curry Package Manager
-
-
KiCS2: The Kiel Curry System v.2
-
Library to specify the semantics of regular expressions
-
QuickCheck tests for exercises
-
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
-
The Curry Package Manager
-
PAKCS: The Portland Aachen Kiel Curry System
-
Libraries to deal with FlatCurry programs
-
Possible topics for the (masters') seminar.
-
The Curry frontend
-
Some auxiliaries used by the Curry preprocessor to check contracts
-
A collection of common non-deterministic and/or combinatorial operations
-
Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner
-
Generic intermediate format for compiling Curry to imperative languages
-