Explore projects
-
curry-packages / property-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to verify properties of Curry programs (contracts, non-failing)
Updated -
curry-packages / redblacktree
BSD 3-Clause "New" or "Revised" LicenseLibraries implementing red-black trees for tables and sets
Updated -
Updated
-
Updated
-
curry-packages / inversion
BSD 3-Clause "New" or "Revised" LicensePackage containing utility operations to invert functions
Updated -
curry-packages / mail-utils
BSD 3-Clause "New" or "Revised" LicenseUtilities for sending emails
Updated -
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Backup repository for the "Advanced Programming" course.
Updated -
-
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated -
Updated
-
Jasper Paul Sikorra / icurry
BSD 3-Clause "New" or "Revised" LicenseLibraries for the ICurry intermediate language. Authored by Bastian Kirchmayr bki@informatik.uni-kiel.de.
Updated -
-
curry-packages / bpmn2bpel
BSD 3-Clause "New" or "Revised" LicenseLibraries to support a bi-directional transformation between BPMN and BPEL
Updated -
curry-packages / regexp
BSD 3-Clause "New" or "Revised" LicenseLibrary to specify the semantics of regular expressions
Updated -
curry-packages / graph-inductive
BSD 3-Clause "New" or "Revised" LicenseLibrary for inductive graphs
Updated -
-
curry-packages / graphviz
BSD 3-Clause "New" or "Revised" LicenseLibraries to visualize graphs with Graphviz
Updated