Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
PAKCS: The Portland Aachen Kiel Curry System
-
A compiler and run-time system to compile and run Curry programs as Go programs
-
The base libraries of Curry distributions, like PAKCS or KiCS2
-
The central repository index of CPM
-
The standard preprocessor of Curry
-
The Curry Analysis Server System
-
Generic intermediate format for compiling Curry to imperative languages
-
Simple management functions for the Curry Package Manager
-
Libraries to visualize graphs with Graphviz
-
A GUI to browse and analyze the modules of a Curry program
-
Tools for database applications specified by entity-relationship diagrams (ERDs)
-
A documentation generator for Curry
-
Libraries to process markdown documents
-
Tools for Curry that are used in PAKCS and KiCS2
-
A transformation tool to replace Boolean equalities by equational constraints
-
Libraries for type-safe database programming
-
Libraries for programming graphical user interfaces
-
-
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
-
A tool to add missing type signatures to top-level operations in a Curry module