Explore projects
-
-
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-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
curry-packages / ertools
BSD 3-Clause "New" or "Revised" LicenseTools for database applications specified by entity-relationship diagrams (ERDs)
Updated -
curry-packages / cass
BSD 3-Clause "New" or "Revised" LicenseThe Curry Analysis Server System
Updated -
curry-packages / cass-analysis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / cpm-manage
BSD 3-Clause "New" or "Revised" LicenseSimple management functions for the Curry Package Manager
Updated -
-
curry-packages / binint
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / xmldata
BSD 3-Clause "New" or "Revised" LicenseA tool to generate conversion functions between Curry data types and XML representations
Updated