Explore projects
-
-
curry-packages / spicey
BSD 3-Clause "New" or "Revised" LicenseThe Spicey web framework for Curry
Updated -
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
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 / prolog2curry
BSD 3-Clause "New" or "Revised" LicenseA tool to transform Prolog programs to Curry programs
Updated -
Automatic testing framework for Play web applications written in Scala
Updated -
Pascal Stücker / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
-
apps / masala
BSD 3-Clause "New" or "Revised" LicenseMasala: The Repository of Curry Packages
Updated -
Masterprojekt im Sommersemester 2023: Paketbenutzerverwaltung
Updated -
-
-
-
-
-
-
curry / kics
BSD 3-Clause "New" or "Revised" LicenseFirst version of KiCS, the Curry –> Haskell Compiler
Updated -
-