graphs4value / refineryLinks
Refinery: an efficient graph solver for generating well-formed models
☆20Updated last week
Alternatives and similar repositories for refinery
Users that are interested in refinery are comparing it to the libraries listed below
Sorting:
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- 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
- The Next Generation Logic Library☆151Updated last week
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆119Updated this week
- Ontological Modeling Language (OML)☆32Updated 7 months ago
- The Train Benchmark framework for evaluating incremental model validation performance☆13Updated 3 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Updated last year
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 3 years ago
- 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
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- DSLs for modeling and analyzing farming systems☆12Updated 8 years ago
- A lazy-grounding Answer-Set Programming system☆62Updated 2 months ago
- MPS-extensions aims to ease language development within MPS.☆86Updated last week
- WebGraph is a framework for graph compression.☆77Updated 7 months ago
- Whelk is an OWL EL reasoner☆37Updated 11 months ago
- This repository hosts all the projects used in the MDSE Book☆15Updated 6 years ago
- ☆89Updated 3 years ago
- Modelserver component☆45Updated last month
- Starlasu - A Language Engineering Framework☆116Updated last week
- An inductive logic programming system☆263Updated this week
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- Reasoner for the description logic EL+.☆15Updated 2 months ago
- Multi-backend EMF persistence framework.☆55Updated 3 months ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- A curated list of awesome model-driven engineering resources.☆22Updated last year
- Datalog that's as easy as ABC.☆67Updated 5 months ago
- A GQL parser build with ANTLR v4.☆63Updated 4 years ago
- ☆72Updated last year
- Experimental SQL to Cypher Transpiler using jooq and cypher-dsl☆28Updated 2 years ago
- A tool for explainability and debugging in Answer Set Programming.☆15Updated 10 months ago