GRACeFUL-project

GRACeFUL-project's repositories

Constraint programming in Haskell through MiniZinc

Language:HaskellBSD-3-Clause8 130

The Constraint Functional Programming DSL for the GRACeFUL project.

Language:HaskellBSD-3-Clause6 13 19

A DSL for CLDs

Language:HaskellBSD-3-Clause4 110

Open access material associated with the DSL workpackage of https://www.graceful-project.eu/

Language:TeXBSD-3-Clause3 9 1

Tool for Group Model Building sessions

TypeSafe Interpreters for Free

Language:HaskellBSD-3-Clause2 90

Case study for a paper about the Type Safe Interpreters library https://github.com/GRACeFUL-project/Saint

Language:HaskellBSD-3-Clause1 60

Constraint synthesis from functional specifications

Language:TeXBSD-3-Clause1 60

A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".

Language:HaskellBSD-3-Clause070

Language:JavaScript070

Language:Web Ontology Language060

A home for QPNModeler

Language:Haskell070

Language:JavaScript080