Explore projects

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
C

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

The Curry frontend

2

Updated Jan 15, 2025

2 4 0 66

Updated Jan 15, 2025
K

curry / kics2
Other

KiCS2: The Kiel Curry System v.2

2

Updated Jan 04, 2025

2 6 4 27

Updated Jan 04, 2025
C

apps / currygle

Curr(y)gle Curry API search

2

Updated Aug 06, 2021

2 2 0 1

Updated Aug 06, 2021
S

apps / smap
BSD 3-Clause "New" or "Revised" License

A web-based editor and browser for small programs.

0

Updated Mar 27, 2024

0 0 0 0

Updated Mar 27, 2024
T

curry / tutorial

The sources of the tutorial on Curry.

1

Updated Jan 26, 2024

1 0 0 0

Updated Jan 26, 2024
R

curry / report

The Curry Report

0

Updated May 28, 2018

0 0 0 0

Updated May 28, 2018
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

projekte / play-autotest

Automatic testing framework for Play web applications written in Scala

0

Updated Nov 25, 2015

0 0 0 0

Updated Nov 25, 2015
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