Skip to content

@GRACeFUL-project GRACeFUL-project

Change the repository type filter

All

    Repositories list

    13 repositories

    • haskelzinc

      Public
      Constraint programming in Haskell through MiniZinc
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •8•8•0•1•Updated Sep 6, 2019Sep 6, 2019

    • Saint

      Public
      TypeSafe Interpreters for Free
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Jul 4, 2018Jul 4, 2018

    • CaseStudySaint

      Public
      Case study for a paper about the Type Safe Interpreters library https://github.com/GRACeFUL-project/Saint
      dslhaskell-library
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jun 14, 2018Jun 14, 2018

    • DSL-WP

      Public
      Open access material associated with the DSL workpackage of https://www.graceful-project.eu/
      dsldynamics-models
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •3•3•0•0•Updated Apr 11, 2018Apr 11, 2018

    • FunctionalGeometry

      Public
      A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •4•0•0•0•Updated Mar 28, 2018Mar 28, 2018

    • GRACe

      Public
      The Constraint Functional Programming DSL for the GRACeFUL project.
      stackdslghc
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •5•6•0•0•Updated Mar 6, 2018Mar 6, 2018

    • GRACeFULEditor

      Public
      JavaScript
      •0•0•0•0•Updated Mar 5, 2018Mar 5, 2018

    • VisualEditor

      Public
      JavaScript
      •0•0•0•0•Updated May 4, 2017May 4, 2017

    • Ontology

      Public
      Web Ontology Language
      •0•0•0•0•Updated Feb 27, 2017Feb 27, 2017

    • QPN

      Public
      A home for QPNModeler
      Haskell
      •0•0•0•0•Updated Dec 19, 2016Dec 19, 2016

    • gmb-tool

      Public
      Tool for Group Model Building sessions
      0•2•0•0•Updated Nov 14, 2016Nov 14, 2016

    • GraphDSL

      Public
      A DSL for CLDs
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•0•0•Updated Nov 2, 2016Nov 2, 2016

    • Constraint-composition

      Public
      Constraint synthesis from functional specifications
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Sep 30, 2016Sep 30, 2016