Skip to content

@gsdlab GSD Lab

Change the repository type filter

All

    Repositories list

    27 repositories

    • clafer

      Public
      Clafer is a lightweight modeling language
      Haskell
      •
      MIT License
      •14•48•10•0•Updated Feb 18, 2025Feb 18, 2025

    • 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•7•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

    • 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.7k•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.