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 weeks ago
• ftsrg / trainbenchmark
  The Train Benchmark framework for evaluating incremental model validation performance
  ☆12Updated 2 years ago
• vigna / webgraph
  WebGraph is a framework for graph compression.
  ☆69Updated 2 months ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆47Updated 11 months ago
• opencypher / front-end
  Parsing, AST and semantic analysis for the Cypher Query Language
  ☆59Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆96Updated last week
• 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
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆148Updated last month
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated 11 months ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆109Updated this week
• opengql / grammar
  ANTLR Grammar and related content for GQL.
  ☆32Updated 3 months ago
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆15Updated 3 weeks ago
• pdm-book / community
  ☆82Updated 2 years ago
• gemoc / gemoc-studio-old
  ☆12Updated 6 years ago
• OlofMorra / GQL-parser
  A GQL parser build with ANTLR v4.
  ☆61Updated 4 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆85Updated this week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆227Updated last week
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• INCATools / whelk
  Whelk is an OWL EL reasoner
  ☆34Updated 6 months ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆70Updated last year
• ldbc / lsqb
  Labelled Subgraph Query Benchmark – A lightweight benchmark suite focusing on subgraph matching queries. Note: This is a microbenchmark f…
  ☆34Updated 4 months ago
• dice-group / CostFed
  Cost-Based Query Optimization for SPARQL Endpoint Federation
  ☆19Updated 2 years ago
• altran-mde / xtext-sirius-integration
  Xtext/Sirius Integration
  ☆21Updated 9 months ago
• bme-db-lab / Functional-Dependency-Calculator
  Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…
  ☆24Updated 3 years ago
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆46Updated 3 weeks ago
• MillenniumDB / MillenniumDB
  Property Graph and RDF engine, still in development
  ☆234Updated last week
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆23Updated this week
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆113Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago