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" LicenseOUTDATED, moved to https://github.com/cau-placc/smap
Updated -
-
-
curry / curry-base
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
curry / curry-tools
BSD 3-Clause "New" or "Revised" LicenseOUTDATED, moved to https://github.com/cau-placc/curry-tools
Updated -
-
Finn Teegen / curry-base-old
BSD 3-Clause "New" or "Revised" LicenseBasic Curry modules for the frontend
Updated -
-
The library folders, with separate branches for kics2, pakcs and the common libraries
Updated