Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
KiCS2: The Kiel Curry System v.2
-
The central repository index of CPM
-
Tools to support the verification of Curry programs
-
PAKCS: The Portland Aachen Kiel Curry System
-
Tools for Curry that are used in PAKCS and KiCS2
-
The base libraries of Curry distributions, like PAKCS or KiCS2
-
The Curry Package Manager
-
A GUI to browse and analyze the modules of a Curry program
-
Library and tool to show FlatCurry programs in human-readable (Curry-like) form
-
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
-
-
-
IDE support for Curry
-
Shows the usage of imported entities in a module
-
A universal REPL which can be used on top of a Curry compiler
-
The Curry frontend
-
The standard preprocessor of Curry
-
Tools for database applications specified by entity-relationship diagrams (ERDs)