Alternatives and similar repositories for refinery

Users that are interested in refinery are comparing it to the libraries listed below

• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• BESSER-PEARL / B-OCL-Interpreter
  B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…
  ☆24Updated last month
• vigna / webgraph
  WebGraph is a framework for graph compression.
  ☆76Updated 6 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 5 months ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated 3 weeks ago
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆13Updated 3 years ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 3 years ago
• gemoc / gemoc-studio-old
  ☆12Updated 7 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆120Updated last week
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated last week
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆12Updated 8 years ago
• opencaesar / oml
  Ontological Modeling Language (OML)
  ☆32Updated 6 months ago
• ldbc / gcore-spark
  Implementation of the G-CORE graph query language on Spark
  ☆15Updated 4 years ago
• opengql / grammar
  ANTLR Grammar and related content for GQL.
  ☆35Updated 3 weeks ago
• pdm-book / community
  ☆88Updated 3 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆98Updated 2 weeks ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆168Updated 2 weeks ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 4 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆66Updated 4 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆97Updated last week
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆15Updated last month
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated 2 months ago
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆72Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago