Explore projects
-
-
A tool to verify properties of Curry programs (contracts, non-failing)
Updated -
-
Updated
-
Library with to represent strongly encapsulated non-deterministic computations as a search tree
Updated -
Updated
-
-
Library and tool to show FlatCurry programs in human-readable (Curry-like) form
Updated -
-
A call-pattern analysis and transformation tool to improve lazy non-deterministic computations
Updated -
-
-
-
Updated
-
Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner
Updated -
-
-
Generic intermediate format for compiling Curry to imperative languages
Updated -
-
Tools for database applications specified by entity-relationship diagrams (ERDs)
Updated