Explore projects
-
Libraries to represent Julia programs in Curry
Updated -
-
Updated
-
PAKCS: The Portland Aachen Kiel Curry System
Updated -
Updated
-
Updated
-
Automatic testing framework for Play web applications written in Scala
Updated -
GnuPG public keys for PS-IfI developers and the PS-IfI archive
Updated -
First version of KiCS, the Curry –> Haskell Compiler
Updated -
-
-
-
A library with a Boolean Constraint Solver based on BDDs.
Updated -
Libraries for finite domain constraint programming with SMT solvers
Updated -
-
Masterprojekt im Sommersemester 2017: Dr. Haskell
Updated -
-
An ECMAScript library for Curry
Updated -
Libraries to represent Prolog programs in Curry
Updated -
Updated