Explore projects
-
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
Updated -
-
-
curry / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
Updated -
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
-
curry-packages / cpm-manage
BSD 3-Clause "New" or "Revised" LicenseSimple management functions for the Curry Package Manager
Updated -
curry-packages / cass-analysis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / cass
BSD 3-Clause "New" or "Revised" LicenseThe Curry Analysis Server System
Updated -
curry-packages / ertools
BSD 3-Clause "New" or "Revised" LicenseTools for database applications specified by entity-relationship diagrams (ERDs)
Updated -
curry-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
curry-packages / currycheck
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / verify
BSD 3-Clause "New" or "Revised" LicenseTools to support the verification of Curry programs
Updated -
-
curry-packages / importusage
BSD 3-Clause "New" or "Revised" LicenseShows the usage of imported entities in a module
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 / sourceproggui
BSD 3-Clause "New" or "Revised" LicenseA simple GUI for highlighting functions in the source text
Updated -
Library and tool to show FlatCurry programs in human-readable (Curry-like) form
Updated