graphs4value / refineryLinks
Refinery: an efficient graph solver for generating well-formed models
☆17Updated last week
Alternatives and similar repositories for refinery
Users that are interested in refinery are comparing it to the libraries listed below
Sorting:
- 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 2 months ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆115Updated this week
- A Python-based low-modeling low-code platform for smart and AI-enhanced software☆127Updated last week
- The Next Generation Logic Library☆149Updated 3 months ago
- An extensible framework for feature-oriented software development☆136Updated 2 weeks ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 4 years ago
- A curated list of awesome model-driven engineering resources.☆21Updated last year
- Modelserver component☆45Updated 4 months ago
- Home of the UML-based Specification Environment (USE)☆65Updated last week
- Tutorial: Building a language server for your DSL with Xtext☆27Updated 2 years ago
- The Melange Language Workbench☆29Updated 2 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated last year
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Updated 2 years ago
- WebGraph is a framework for graph compression.☆72Updated 4 months ago
- Multi-backend EMF persistence framework.☆55Updated 3 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Updated 2 years ago
- Pluggable type-checking for Java☆23Updated this week
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆163Updated this week
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆48Updated this week
- junit tools contest infrastructure☆13Updated last year
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆36Updated 3 weeks ago
- The SQL Standards Project aims to create consensus in SQL semantics☆47Updated last year
- Ontological Modeling Language (OML)☆29Updated 5 months ago
- An Example for an Xtext Language Server☆38Updated this week
- Parsing, AST and semantic analysis for the Cypher Query Language☆59Updated last year
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- Material for lectures on software product lines☆15Updated 3 weeks ago