Explore projects
-
curry-packages / finite-map
BSD 3-Clause "New" or "Revised" LicenseLibrary implementing finite maps (efficient mappings from keys to values)
Updated -
curry-packages / combinatorial
BSD 3-Clause "New" or "Revised" LicenseA collection of common non-deterministic and/or combinatorial operations
Updated -
curry-packages / traversal
BSD 3-Clause "New" or "Revised" LicenseLibrary to support lightweight generic traversals through tree-structured data
Updated -
curry-packages / golang
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Go programs in Curry
Updated -
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated -
curry-packages / global
BSD 3-Clause "New" or "Revised" LicenseLibrary for handling global entities in programs
Updated -
curry-packages / profiling-pakcs
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / julia
BSD 3-Clause "New" or "Revised" LicenseLibraries to represent Julia programs in Curry
Updated -
curry-packages / gui
BSD 3-Clause "New" or "Revised" LicenseLibraries for programming graphical user interfaces
Updated -
Updated
-
Jan Reese / html2
BSD 3-Clause "New" or "Revised" LicenseLibraries for HTML programming with event-handler-based form processing
Updated -
curry-packages / array
BSD 3-Clause "New" or "Revised" LicenseAn implementation of arrays with Braun trees
Updated -
curry-packages / scc
BSD 3-Clause "New" or "Revised" LicenseComputing strongly connected components
Updated -
curry-packages / propertyfile
BSD 3-Clause "New" or "Revised" LicenseRead and update files containing properties in equational syntax
Updated -
curry-packages / printf
BSD 3-Clause "New" or "Revised" LicenseOperations to format values of basic data types with formatting f lags
Updated -
This package contains libraries to exactly print a curry-ast back to its source representation.
Updated -
-
curry-packages / setfunction-synthesis
BSD 3-Clause "New" or "Revised" LicensePrototype implementation of synthesizing set functions
Updated -
curry-packages / profiling
BSD 3-Clause "New" or "Revised" LicenseLibrary to access profile data of the back-end Prolog system of PAKCS
Updated -
curry-packages / ports
BSD 3-Clause "New" or "Revised" LicenseLibrary for distributed programming with ports
Updated