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
Updated -
-
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
Libraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
Libraries to support the type-oriented construction of web user interfaces
Updated -
Pretty printing combinators for Curry (inspired by Leijen's library for Haskell)
Updated -
Updated
-
Tools to support the verification of Curry programs
Updated -
Library for dealing with URLs
Updated -
Libraries to implement declarative user interfaces
Updated -
-
Library to support lightweight generic traversals through tree-structured data
Updated -
Updated
-
A transformation tool to replace Boolean equalities by equational constraints
Updated -
Updated
-
A tool to check the formatting style of Curry programs
Updated -
-
The Spicey web framework for Curry
Updated -
A simple GUI for highlighting functions in the source text
Updated -
Library for programming with sockets
Updated