Explore projects
-
curry-packages / propertyfile
BSD 3-Clause "New" or "Revised" LicenseRead and update files containing properties in equational syntax
Updated -
curry-packages / scc
BSD 3-Clause "New" or "Revised" LicenseComputing strongly connected components
Updated -
curry-packages / array
BSD 3-Clause "New" or "Revised" LicenseAn implementation of arrays with Braun trees
Updated -
Updated
-
curry-packages / residuation-analysis
BSD 3-Clause "New" or "Revised" LicenseAnalyzing the residuation behavior of Curry programs
Updated -
Updated
-
-
-
curry-packages / flatcurry-typed
BSD 3-Clause "New" or "Revised" LicenseA curry libary to read the TypedFlatCurry format (*.tfcy) and convert it to AnnotatedFlatCurry (see flatcurry-annotated package)
Updated -
curry-packages / bindata
BSD 3-Clause "New" or "Revised" LicenseLibrary to support reading/writing binary data
Updated -
Pascal Stücker / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe library folders, with separate branches for kics2, pakcs and the common libraries
Updated -
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
-
curry-packages / failfree
BSD 3-Clause "New" or "Revised" LicenseA tool to verify whether a Curry program executes without failures
Updated -
Updated
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
Updated
-
curry-packages / mail-utils
BSD 3-Clause "New" or "Revised" LicenseUtilities for sending emails
Updated -
curry-packages / smtlib-solver
BSD 3-Clause "New" or "Revised" LicenseThis package provides general operations for an interactive communication with SMT solvers via stdin and stdout.
Updated