Explore projects

B

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

Base libraries for Curry systems

0

Updated Aug 31, 2020

0 0 0 0

Updated Aug 31, 2020
C

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

A tool to optimize contracts in FlatCurry programs by proving contracts

0

Updated Oct 12, 2021

0 1 0 0

Updated Oct 12, 2021
H

Jasper Paul Sikorra / hurry-webservice
BSD 3-Clause "New" or "Revised" License

0

Updated Aug 20, 2017

0 0 0 0

Updated Aug 20, 2017
W

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

Libraries to support the type-oriented construction of web user interfaces

0

Updated Aug 17, 2020

0 0 0 0

Updated Aug 17, 2020
J

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

Libraries to represent JavaScript programs in Curry

0

Updated Nov 28, 2020

0 0 0 0

Updated Nov 28, 2020
F

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

Libraries to represent FlatCurry programs with arbitrary annotations

0

Updated Sep 14, 2021

0 0 1 2

Updated Sep 14, 2021
A

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

Libraries to represent Haskell programs in Curry

0

Updated Nov 26, 2021

0 0 0 0

Updated Nov 26, 2021
P

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

Libraries to represent Prolog programs in Curry

0

Updated Jan 31, 2022

0 0 0 0

Updated Jan 31, 2022
H

Jasper Paul Sikorra / hurry-runtime

0

Updated Jul 05, 2017

0 0 0

Updated Jul 05, 2017
H

Jasper Paul Sikorra / hurry-translator
BSD 3-Clause "New" or "Revised" License

0

Updated Aug 24, 2017

0 0 0

Updated Aug 24, 2017
C

Jasper Paul Sikorra / cpm-index

The central repository index of CPM

0

Updated Aug 24, 2017

0 0 0

Updated Aug 24, 2017
E

Jasper Paul Sikorra / ecmascript
BSD 3-Clause "New" or "Revised" License

An ECMAScript library for Curry

0

Updated Jun 07, 2017

0 0 0

Updated Jun 07, 2017
C

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

A call-pattern analysis and transformation tool to improve lazy non-deterministic computations

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023
D

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

A tool for declarative software development

0

Updated May 22, 2019

0 0 0 0

Updated May 22, 2019
C

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

COOSy: A tool to observe functional logic computations

0

Updated Feb 27, 2023

0 0 0 0

Updated Feb 27, 2023
U

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

Libraries to implement declarative user interfaces

0

Updated Jan 04, 2019

0 0 0 0

Updated Jan 04, 2019
B

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

A tool to support executable benchmark papers

0

Updated May 11, 2021

0 0 0 0

Updated May 11, 2021
C

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

A library with a Boolean Constraint Solver based on BDDs.

0

Updated Aug 28, 2020

0 0 0 0

Updated Aug 28, 2020
C

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

A library to implement Constraint Handling Rules in Curry

0

Updated Jan 31, 2022

0 0 0 0

Updated Jan 31, 2022
C

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

Libraries for finite domain constraint programming with SMT solvers

0

Updated Jul 31, 2018

0 0 0 0

Updated Jul 31, 2018