Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The standard preprocessor of Curry
-
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
-
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
-
A tool to generate conversion functions between Curry data types and XML representations
-
Shows the usage of imported entities in a module
-
Library and tool to show FlatCurry programs in human-readable (Curry-like) form
-
Operations to deal with Curry module names and paths
-
Library to access profile data of the back-end Prolog system of PAKCS
-
Library for roman numbers
-
Library to support reading/writing binary data
-