Explore projects

C

curry-packages / cpm
BSD 3-Clause "New" or "Revised" License

The Curry Package Manager

0

Updated Nov 03, 2023

0 1 1 1

Updated Nov 03, 2023
C

curry / cpm

The Curry Package Manager (deprecated, current version moved to group curry-packages)

0

Updated Jun 08, 2020

0 0 0 0

Updated Jun 08, 2020
P

Mike Gabriel / pakcs
Other

PAKCS: The Portland Aachen Kiel Curry System

0

Updated Sep 29, 2016

0 0 0 0

Updated Sep 29, 2016
C

Jonas Oberschweiber / curry-tools

Tools for Curry that are used in PAKCS and KiCS2

0

Updated Sep 24, 2016

0 0 0 0

Updated Sep 24, 2016
K

Sandra Dylus / kics2
Other

KiCS2: The Kiel Curry System v.2

0

Updated Jul 09, 2020

0 0 0 0

Updated Jul 09, 2020
Marcellus Siegburg / hpsv
MIT License

0

Updated May 21, 2019

0 0 0 15

Updated May 21, 2019
C

Finn Teegen / curry-tools

Tools for Curry that are used in PAKCS and KiCS2

0

Updated Mar 21, 2016

0 0 0 0

Updated Mar 21, 2016
K

Finn Teegen / kics2
Other

KiCS2: The Kiel Curry System v.2

0

Updated Sep 09, 2016

0 0 0 0

Updated Sep 09, 2016
K

curry / kics2
Other

KiCS2: The Kiel Curry System v.2

2

Updated Nov 26, 2024

2 6 4 27

Updated Nov 26, 2024
P

curry / pakcs
BSD 3-Clause "New" or "Revised" License

PAKCS: The Portland Aachen Kiel Curry System

3

Updated Nov 29, 2024

3 3 1 10

Updated Nov 29, 2024
K

curry / kics
BSD 3-Clause "New" or "Revised" License

First version of KiCS, the Curry –> Haskell Compiler

0

Updated Dec 01, 2015

0 0 0 0

Updated Dec 01, 2015
P

packaging / psifi-netclientconfig

0

Updated Mar 16, 2021

0 0 0 0

Updated Mar 16, 2021
P

packaging / psifi-keyring
GNU General Public License v2.0 or later

GnuPG public keys for PS-IfI developers and the PS-IfI archive

0

Updated Sep 06, 2019

0 0 0 0

Updated Sep 06, 2019