Skip to content
Change the repository type filter

All

    Repositories list

    • clafer

      Public
      Clafer is a lightweight modeling language
      Haskell
      MIT License
      1448100Updated Feb 18, 2025Feb 18, 2025
    • wikidata of Clafer Model Wiki: http://t3-necsis.cs.uwaterloo.ca:8091/
      StringTemplate
      1000Updated Jun 24, 2024Jun 24, 2024
    • A backend for Clafer using the Choco4 solver.
      Java
      MIT License
      9441Updated Apr 19, 2024Apr 19, 2024
    • A collaborative IDE for developing Clafer models.
      HTML
      MIT License
      1710Updated Nov 30, 2023Nov 30, 2023
    • claferIG

      Public
      Support for reasoning on Clafer models by instantiation and counter example generation.
      Haskell
      MIT License
      51120Updated 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
      5000Updated Aug 24, 2023Aug 24, 2023
    • claferMPS

      Public
      Meta-Programming System support for Clafer
      Shell
      MIT License
      2700Updated Sep 9, 2017Sep 9, 2017
    • Integration of Clafer Compiler and Instance Generators into Sublime Text 2/3
      MIT License
      0300Updated Jun 28, 2017Jun 28, 2017
    • ROS

      Public
      Meta-Programming System support for ROS messages.
      MIT License
      0000Updated Mar 13, 2017Mar 13, 2017
    • 1100Updated Feb 21, 2017Feb 21, 2017
    • ClaferIDE

      Public
      Web-Based Development Environment for Clafer
      JavaScript
      MIT License
      3100Updated Sep 19, 2016Sep 19, 2016
    • An interactive, web-based, configurator for Clafer models.
      JavaScript
      MIT License
      4100Updated Sep 19, 2016Sep 19, 2016
    • An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
      JavaScript
      MIT License
      4510Updated Sep 19, 2016Sep 19, 2016
    • All common components to be shared among Clafer Tools Web Tools
      JavaScript
      MIT License
      1110Updated Sep 19, 2016Sep 19, 2016
    • Using an SMT solver to perform fault tree analysis
      Haskell
      MIT License
      0000Updated Dec 21, 2015Dec 21, 2015
    • Project discontinued. Code merged into chocosolver project.
      Java
      MIT License
      0000Updated Oct 16, 2015Oct 16, 2015
    • ClaferSMT

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

      Public
      Virtual Platform Development Tool
      MIT License
      0000Updated Oct 21, 2014Oct 21, 2014
    • Default channel file for Package Control. Follow the directions at:
      Python
      3.7k000Updated Oct 16, 2014Oct 16, 2014
    • fsmls

      Public
      Original prototype implementation of FSMLs
      Java
      1100Updated Sep 18, 2014Sep 18, 2014
    • Uses ChocoSolver to run single-objective optimization on a Clafer file and produce results in ClaferMoo format.
      Java
      MIT License
      2100Updated Apr 14, 2014Apr 14, 2014
    • A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.
      Python
      MIT License
      1400Updated Jan 21, 2014Jan 21, 2014
    • Investigating embedding of Clafer into Ruby
      Ruby
      0000Updated Dec 19, 2012Dec 19, 2012
    • Convert Feature Models in Clafer to CSP Choco
      Java
      0000Updated Aug 31, 2012Aug 31, 2012
    • CDL to Clafer transformation project
      Scala
      0050Updated Nov 19, 2011Nov 19, 2011
    • An extended version of the cdl-analysis framework.
      Scala
      0100Updated Jun 4, 2011Jun 4, 2011
    • cdl2smt

      Public
      CDL conversion to yices SMT solver input format
      Scala
      0100Updated Apr 21, 2011Apr 21, 2011
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.