Explore projects
-
curry-packages / contract-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to optimize contracts in FlatCurry programs by proving contracts
Updated -
Jasper Paul Sikorra / hurry-webservice
BSD 3-Clause "New" or "Revised" LicenseUpdated -
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 / currypp
BSD 3-Clause "New" or "Revised" LicenseThe standard preprocessor of Curry
Updated -
-
curry-packages / transbooleq
BSD 3-Clause "New" or "Revised" LicenseA transformation tool to replace Boolean equalities by equational constraints
Updated -
Library and tool to show FlatCurry programs in human-readable (Curry-like) form
Updated -
curry-packages / sourceproggui
BSD 3-Clause "New" or "Revised" LicenseA simple GUI for highlighting functions in the source text
Updated -
curry-packages / currybrowse
BSD 3-Clause "New" or "Revised" LicenseA GUI to browse and analyze the modules of a Curry program
Updated -
curry-packages / importusage
BSD 3-Clause "New" or "Revised" LicenseShows the usage of imported entities in a module
Updated -
-
curry-packages / rewriting
BSD 3-Clause "New" or "Revised" LicenseLibraries for term rewriting and narrowing
Updated -
-
-
curry-packages / addtypes
BSD 3-Clause "New" or "Revised" LicenseA tool to add missing type signatures to top-level operations in a Curry module
Updated -
curry-packages / verify
BSD 3-Clause "New" or "Revised" LicenseTools to support the verification of Curry programs
Updated -
curry / curry-frontend-all
BSD 3-Clause "New" or "Revised" LicenseCurry Front End (Bundle Repository)
Updated -
-