Explore projects
-
curry-packages / xmldata
BSD 3-Clause "New" or "Revised" LicenseA tool to generate conversion functions between Curry data types and XML representations
Updated -
-
curry-packages / wui2
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
Jan Reese / wui2
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces based on the html2 package
Updated -
curry-packages / wui
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces
Updated -
curry-packages / wl-pprint
BSD 3-Clause "New" or "Revised" LicensePretty printing combinators for Curry (inspired by Leijen's library for Haskell)
Updated -
Updated
-
curry-packages / verify
BSD 3-Clause "New" or "Revised" LicenseTools to support the verification of Curry programs
Updated -
-
curry-packages / ui
BSD 3-Clause "New" or "Revised" LicenseLibraries to implement declarative user interfaces
Updated -
-
curry-packages / traversal
BSD 3-Clause "New" or "Revised" LicenseLibrary to support lightweight generic traversals through tree-structured data
Updated -
curry-packages / transformers
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / transbooleq
BSD 3-Clause "New" or "Revised" LicenseA transformation tool to replace Boolean equalities by equational constraints
Updated -
curry-packages / time
BSD 3-Clause "New" or "Revised" LicenseUpdated -
curry-packages / stylechecker
BSD 3-Clause "New" or "Revised" LicenseA tool to check the formatting style of Curry programs
Updated -
-
curry-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
curry-packages / sourceproggui
BSD 3-Clause "New" or "Revised" LicenseA simple GUI for highlighting functions in the source text
Updated -
curry-packages / socket
BSD 3-Clause "New" or "Revised" LicenseLibrary for programming with sockets
Updated