Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Libraries to represent Julia programs in Curry
Updated -
-
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 -
-
-
-
-
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 -
COOSy: A tool to observe functional logic computations
Updated -
Libraries to represent Prolog programs in Curry
Updated