GRACeFUL-project
Popular repositories Loading
-
-
Constraint-composition
Constraint-composition PublicConstraint synthesis from functional specifications
Repositories
Showing 10 of 13 repositories
- CaseStudySaint Public
Case study for a paper about the Type Safe Interpreters library https://github.com/GRACeFUL-project/Saint
- DSL-WP Public
Open access material associated with the DSL workpackage of https://www.graceful-project.eu/
- FunctionalGeometry Public Forked from micahhahn/FunctionalGeometry
A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
-
-
-
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…