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…
  ☆23Updated 3 weeks ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• pdm-book / community
  ☆85Updated 3 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 4 months ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 2 years ago
• vigna / webgraph
  WebGraph is a framework for graph compression.
  ☆73Updated 5 months ago
• 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
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆13Updated 3 years ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆118Updated last week
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆62Updated 4 years ago
• opencaesar / oml
  Ontological Modeling Language (OML)
  ☆30Updated 5 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆15Updated 3 weeks ago
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated 2 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆42Updated last month
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆12Updated 8 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 3 weeks ago
• gemoc / gemoc-studio-old
  ☆12Updated 7 years ago
• useocl / use
  Home of the UML-based Specification Environment (USE)
  ☆68Updated last month
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆55Updated last month
• MillenniumDB / MillenniumDB
  Property Graph and RDF engine, still in development
  ☆243Updated this week
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 5 months ago
• ghillairet / emftriple
  EMF Binding for RDF
  ☆25Updated 9 years ago
• kbss-cvut / jopa
  Java OWL Persistence API
  ☆39Updated this week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆138Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last month