Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
KiCS2: The Kiel Curry System v.2
-
Libraries to represent Prolog programs in Curry
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
The central repository index of CPM
-
Libraries to represent Haskell programs in Curry
-
Library for programming with sockets
-
Library with to represent strongly encapsulated non-deterministic computations as a search tree
-
Library to access profile data of the back-end Prolog system of PAKCS
-
Library for handling global entities in programs
-
-
-
-
-
-
The Curry frontend
-
QuickCheck tests for exercises
-
A universal REPL which can be used on top of a Curry compiler
-
PAKCS: The Portland Aachen Kiel Curry System
-
The standard preprocessor of Curry
-