Explore projects
-
-
Finn Teegen / curry-base-old
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
Updated
-
Updated
-
packaging / psifi-keyring
GNU General Public License v2.0 or laterGnuPG public keys for PS-IfI developers and the PS-IfI archive
Updated -
curry-packages / queue
BSD 3-Clause "New" or "Revised" LicenseLibrary with double-ended queues supporting access at both ends in constant amortized time
Updated -
curry-packages / ansi-terminal
BSD 3-Clause "New" or "Revised" LicenseLibrary supporting formatted output on terminals
Updated -
curry-packages / searchtree-unsafe
BSD 3-Clause "New" or "Revised" LicenseLibrary to represent strongly encapsulated non-deterministic computations as a search tree where local unbound variables remain free
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 -
curry-packages / abstract-curry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with AbstractCurry programs
Updated -
curry-packages / curry-source
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Kai Prott / 2020-kprott-ma
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Backup repository for the "Advanced Programming" course.
Updated -
-
curry-packages / flatcurry
BSD 3-Clause "New" or "Revised" LicenseLibraries to deal with FlatCurry programs
Updated -
curry-packages / flatcurry-compact
BSD 3-Clause "New" or "Revised" LicenseA tool to reduce the size of FlatCurry programs
Updated -
curry-packages / nonstrictunif-optimize
BSD 3-Clause "New" or "Revised" LicenseLinearity optimizer for functional patterns and non-strict unification
Updated