Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Libraries with operations to strongly encapsulate non-deterministic computations
Updated -
Updated
-
-
Libraries to process markdown documents
Updated -
Libraries for HTML programming with event-handler-based form processing
Updated -
Library to specify the semantics of regular expressions
Updated -
Generic intermediate format for compiling Curry to imperative languages
Updated -
The standard preprocessor of Curry
Updated -
-
A tool to verify properties of Curry programs (contracts, non-failing)
Updated -
Tools to support the verification of Curry programs
Updated -
Updated
-
-
Libraries to deal with AbstractCurry programs
Updated -
Updated
-
-
-
-
This package provides general operations for an interactive communication with SMT solvers via stdin and stdout.
Updated -
A tool to optimize contracts in FlatCurry programs by proving contracts
Updated