Explore projects
-
packaging / psifi-keyring
GNU General Public License v2.0 or laterGnuPG public keys for PS-IfI developers and the PS-IfI archive
Updated -
Updated
-
Updated
-
-
Automatic testing framework for Play web applications written in Scala
Updated -
-
curry / kics
BSD 3-Clause "New" or "Revised" LicenseFirst version of KiCS, the Curry –> Haskell Compiler
Updated -
-
-
curry / pakcs
BSD 3-Clause "New" or "Revised" LicensePAKCS: The Portland Aachen Kiel Curry System
Updated -
apps / smap
BSD 3-Clause "New" or "Revised" LicenseA web-based editor and browser for small programs.
Updated -
-
-
curry / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
curry / curry-libs
BSD 3-Clause "New" or "Revised" LicenseThe base libraries of Curry distributions, like PAKCS or KiCS2
Updated -
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseTools for Curry that are used in PAKCS and KiCS2
Updated -
-
Finn Teegen / curry-base-old
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -