Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A tool to generate conversion functions between Curry data types and XML representations
-
Libraries for XML processing
-
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
-
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
-
Libraries to support the type-oriented construction of web user interfaces
-
Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)
-
-
Tools to support the verification of Curry programs
-
Library for dealing with URLs
-
Libraries to implement declarative user interfaces
-
The sources of the tutorial on Curry.
-
Library to support lightweight generic traversals through tree-structured data
-
-
A transformation tool to replace Boolean equalities by equational constraints
-
-
A tool to check the formatting style of Curry programs
-
Simple website to demonstrate SQL-Injections
-
The Spicey web framework for Curry
-
A simple GUI for highlighting functions in the source text
-
Library for programming with sockets