Explore projects
-
curry-packages / javascript
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent JavaScript programs in Curry
Updated -
The Curry Package Manager (deprecated, current version moved to group curry-packages)
Updated -
-
curry-packages / scc
BSD 3-Clause "New" or "Revised" LicenseComputing strongly connected components
Updated -
curry-packages / contract-prover
BSD 3-Clause "New" or "Revised" LicenseA tool to optimize contracts in FlatCurry programs by proving contracts
Updated -
curry-packages / finite-map
BSD 3-Clause "New" or "Revised" LicenseLibrary implementing finite maps (efficient mappings from keys to values)
Updated -
curry-packages / traversal
BSD 3-Clause "New" or "Revised" LicenseLibrary to support lightweight generic traversals through tree-structured data
Updated -
curry-packages / markdown
BSD 3-Clause "New" or "Revised" LicenseLibraries to process markdown documents
Updated -
curry-packages / global-variables
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global variables in PAKCS
Updated -
curry-packages / keydb
BSD 3-Clause "New" or "Revised" LicenseLibraries for accessing databases via database keys
Updated -
curry-packages / call-analysis
BSD 3-Clause "New" or "Revised" LicenseA call-pattern analysis and transformation tool to improve lazy non-deterministic computations
Updated -
curry-packages / coosy
BSD 3-Clause "New" or "Revised" LicenseCOOSy: A tool to observe functional logic computations
Updated -
-
curry-packages / graph-inductive
BSD 3-Clause "New" or "Revised" LicenseLibrary for inductive graphs
Updated -
curry-packages / abstract-haskell
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Haskell programs in Curry
Updated -
Jasper Paul Sikorra / ecmascript
BSD 3-Clause "New" or "Revised" LicenseAn ECMAScript library for Curry
Updated -
-
curry-packages / wui
BSD 3-Clause "New" or "Revised" LicenseLibraries to support the type-oriented construction of web user interfaces
Updated -
curry-packages / mail-utils
BSD 3-Clause "New" or "Revised" LicenseUtilities for sending emails
Updated -
Jasper Paul Sikorra / hurry-translator
BSD 3-Clause "New" or "Revised" LicenseUpdated