Skip to content

@gsdlab GSD Lab

Change the repository type filter

All

    Repositories list

    27 repositories

    • clafermodelwikidata

      Public
      wikidata of Clafer Model Wiki: http://t3-necsis.cs.uwaterloo.ca:8091/
      StringTemplate
      •1•0•0•0•Updated Jun 24, 2024Jun 24, 2024

    • chocosolver

      Public
      A backend for Clafer using the Choco4 solver.
      Java
      •
      MIT License
      •9•4•4•1•Updated Apr 19, 2024Apr 19, 2024

    • claferwiki

      Public
      A collaborative IDE for developing Clafer models.
      HTML
      •
      MIT License
      •1•6•1•0•Updated Nov 30, 2023Nov 30, 2023

    • claferIG

      Public
      Support for reasoning on Clafer models by instantiation and counter example generation.
      Haskell
      •
      MIT License
      •5•11•2•0•Updated Nov 30, 2023Nov 30, 2023

    • clafer

      Public
      Clafer is a lightweight modeling language
      Haskell
      •
      MIT License
      •13•45•10•0•Updated Nov 30, 2023Nov 30, 2023

    • StringMap

      Public
      Haskell Project to convert the PrefixTree of the Holumbus into it's own Hackage Packet
      Haskell
      •
      MIT License
      •5•0•0•0•Updated Aug 24, 2023Aug 24, 2023

    • claferMPS

      Public
      Meta-Programming System support for Clafer
      Shell
      •
      MIT License
      •2•7•0•0•Updated Sep 9, 2017Sep 9, 2017

    • ClaferToolsST

      Public
      Integration of Clafer Compiler and Instance Generators into Sublime Text 2/3
      MIT License
      •0•3•0•0•Updated Jun 28, 2017Jun 28, 2017

    • ROS

      Public
      Meta-Programming System support for ROS messages.
      MIT License
      •0•0•0•0•Updated Mar 13, 2017Mar 13, 2017

    • ClaferCaseStudies

      Public
      1•1•0•0•Updated Feb 21, 2017Feb 21, 2017

    • ClaferIDE

      Public
      Web-Based Development Environment for Clafer
      JavaScript
      •
      MIT License
      •3•1•0•0•Updated Sep 19, 2016Sep 19, 2016

    • ClaferConfigurator

      Public
      An interactive, web-based, configurator for Clafer models.
      JavaScript
      •
      MIT License
      •4•1•0•0•Updated Sep 19, 2016Sep 19, 2016

    • ClaferMooVisualizer

      Public
      An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
      JavaScript
      •
      MIT License
      •4•5•1•0•Updated Sep 19, 2016Sep 19, 2016

    • ClaferToolsUICommonPlatform

      Public
      All common components to be shared among Clafer Tools Web Tools
      JavaScript
      •
      MIT License
      •1•1•1•0•Updated Sep 19, 2016Sep 19, 2016

    • faultTreeSMT

      Public
      Using an SMT solver to perform fault tree analysis
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Dec 21, 2015Dec 21, 2015

    • ClaferChocoIG

      Public
      Project discontinued. Code merged into chocosolver project.
      Java
      •
      MIT License
      •0•0•0•0•Updated Oct 16, 2015Oct 16, 2015

    • ClaferSMT

      Public
      Python IR classes for Clafer, along with SMT backends
      TeX
      •1•1•1•0•Updated Aug 20, 2015Aug 20, 2015

    • vpdev

      Public
      Virtual Platform Development Tool
      MIT License
      •0•0•0•0•Updated Oct 21, 2014Oct 21, 2014

    • package_control_channel

      Public
      Default channel file for Package Control. Follow the directions at:
      Python
      •3.6k•0•0•0•Updated Oct 16, 2014Oct 16, 2014

    • fsmls

      Public
      Original prototype implementation of FSMLs
      Java
      •1•1•0•0•Updated Sep 18, 2014Sep 18, 2014

    • ClaferChocoSoo

      Public
      Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
      Java
      •
      MIT License
      •2•1•0•0•Updated Apr 14, 2014Apr 14, 2014

    • claferMooStandalone

      Public
      A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.
      Python
      •
      MIT License
      •1•4•0•0•Updated Jan 21, 2014Jan 21, 2014

    • clafer-ruby

      Public
      Investigating embedding of Clafer into Ruby
      Ruby
      •0•0•0•0•Updated Dec 19, 2012Dec 19, 2012

    • FeatureModelsCSP

      Public
      Convert Feature Models in Clafer to CSP Choco
      Java
      •0•0•0•0•Updated Aug 31, 2012Aug 31, 2012

    • cdl2clafer

      Public
      CDL to Clafer transformation project
      Scala
      •0•0•5•0•Updated Nov 19, 2011Nov 19, 2011

    • xcdl-analysis

      Public
      An extended version of the cdl-analysis framework.
      Scala
      •0•1•0•0•Updated Jun 4, 2011Jun 4, 2011

    • cdl2smt

      Public
      CDL conversion to yices SMT solver input format
      Scala
      •0•1•0•0•Updated Apr 21, 2011Apr 21, 2011