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 2 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆151Updated 2 weeks ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆119Updated this week
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆51Updated 2 weeks ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• 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 last week
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆48Updated last year
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆139Updated 2 months ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• pdm-book / community
  ☆89Updated 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
• Strumenta / starlasu-kotlin
  Starlasu - A Language Engineering Framework
  ☆115Updated this week
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆63Updated 4 years ago
• vigna / webgraph
  WebGraph is a framework for graph compression.
  ☆77Updated 6 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 2 years 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
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆43Updated 3 months ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆27Updated this week
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆39Updated 2 weeks ago
• sensmetry / sysml-2ls
  SysIDE provides SysML v2 language support in VS Code
  ☆50Updated 3 months ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• 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
• INCATools / whelk
  Whelk is an OWL EL reasoner
  ☆36Updated 10 months ago
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆55Updated 3 months ago
• typedb / typeql
  TypeQL: Built for systems, not records
  ☆241Updated last week