Pinned Repositories
CaseStudySaint
Case study for a paper about the Type Safe Interpreters library https://github.com/GRACeFUL-project/Saint
Constraint-composition
Constraint synthesis from functional specifications
DSL-WP
Open access material associated with the DSL workpackage of https://www.graceful-project.eu/
gmb-tool
Tool for Group Model Building sessions
GRACe
The Constraint Functional Programming DSL for the GRACeFUL project.
GRACeFULEditor
GraphDSL
A DSL for CLDs
haskelzinc
Constraint programming in Haskell through MiniZinc
Saint
TypeSafe Interpreters for Free
VisualEditor
GRACeFUL-project's Repositories
GRACeFUL-project/haskelzinc
Constraint programming in Haskell through MiniZinc
GRACeFUL-project/GRACe
The Constraint Functional Programming DSL for the GRACeFUL project.
GRACeFUL-project/GraphDSL
A DSL for CLDs
GRACeFUL-project/DSL-WP
Open access material associated with the DSL workpackage of https://www.graceful-project.eu/
GRACeFUL-project/gmb-tool
Tool for Group Model Building sessions
GRACeFUL-project/Saint
TypeSafe Interpreters for Free
GRACeFUL-project/CaseStudySaint
Case study for a paper about the Type Safe Interpreters library https://github.com/GRACeFUL-project/Saint
GRACeFUL-project/Constraint-composition
Constraint synthesis from functional specifications
GRACeFUL-project/FunctionalGeometry
A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
GRACeFUL-project/GRACeFULEditor
GRACeFUL-project/Ontology
GRACeFUL-project/QPN
A home for QPNModeler
GRACeFUL-project/VisualEditor