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
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆147Updated 3 months 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
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆15Updated 2 months ago
• vigna / webgraph
  WebGraph is a framework for graph compression.
  ☆71Updated 3 months ago
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆62Updated 4 years ago
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆20Updated last year
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆23Updated this week
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 3 years ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆112Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆13Updated 3 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• pdm-book / community
  ☆84Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated 3 weeks ago
• opencypher / front-end
  Parsing, AST and semantic analysis for the Cypher Query Language
  ☆59Updated last year
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆47Updated 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 last year
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆35Updated this week
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆12Updated 8 years ago
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆55Updated last week
• GfSE / SpecIF
  Specification Integration Facility - schema, constraint checker and examples. Responsible: Oskar v.Dungern.
  ☆17Updated 3 months ago
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆15Updated this week
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated 10 months ago
• Strumenta / starlasu-kotlin
  Starlasu - A Language Engineering Framework
  ☆114Updated this week
• roar-net / roar-net-api-spec
  ROAR-NET API Specification
  ☆10Updated 5 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
• 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…
  ☆162Updated last week
• slizaa / slizaa-opencypher-xtext
  ☆10Updated 6 years ago
• opengql / grammar
  ANTLR Grammar and related content for GQL.
  ☆32Updated this week