Explore projects

D

Melf Kammholz / datacheck

0

Updated Nov 11, 2023

0 0 0 0

Updated Nov 11, 2023
D

lectures / deklprog-tests

0

Updated Dec 22, 2023

0 1 1 0

Updated Dec 22, 2023
W

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

Libraries to support the type-oriented construction of web user interfaces based on the html2 package

0

Updated Jun 20, 2023

0 1 0 0

Updated Jun 20, 2023
F

exercises / fortprog-quickcheck

QuickCheck tests for exercises

0

Updated Nov 15, 2021

0 0 0 0

Updated Nov 15, 2021
H

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

Support for CGI programming in HTML libraries

0

Updated Nov 09, 2020

0 0 0 0

Updated Nov 09, 2020
A

curry-packages / admin-packages

Some hints and scripts for package administration

0

Updated Apr 25, 2022

0 0 0 0

Updated Apr 25, 2022
S

Malte / seminar

Seminar paper on Selective Applicative Functors

0

Updated Sep 13, 2020

0 0 0 8

Updated Sep 13, 2020
C

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

A Curry Program Coverage tool

0

Updated Sep 28, 2017

0 0 0 0

Updated Sep 28, 2017
B

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

Libraries to support a bi-directional transformation between BPMN and BPEL

0

Updated Jul 08, 2021

0 0 0 0

Updated Jul 08, 2021
R

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

Library to specify the semantics of regular expressions

0

Updated Oct 20, 2022

0 0 0 0

Updated Oct 20, 2022
G

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

Library for inductive graphs

0

Updated Jul 07, 2021

0 0 0 0

Updated Jul 07, 2021
U

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

Library for dealing with URLs

0

Updated Jul 11, 2023

0 0 0 0

Updated Jul 11, 2023
G

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

Libraries to visualize graphs with Graphviz

0

Updated May 05, 2023

0 0 0 0

Updated May 05, 2023
M

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

Libraries to process markdown documents

0

Updated Mar 28, 2023

0 0 0 0

Updated Mar 28, 2023
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