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:
- 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…☆22Updated 5 months ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆31Updated 2 weeks ago
- ☆44Updated last year
- ROAR-NET API Specification☆10Updated 2 weeks ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆76Updated last week
- The Train Benchmark framework for evaluating incremental model validation performance☆12Updated 2 years ago
- Whelk is an OWL EL reasoner☆29Updated 3 months ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆100Updated this week
- A curated list of awesome MPS extensions/libraries, software and resources.☆62Updated this week
- The Next Generation Logic Library☆142Updated 6 months ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆23Updated 2 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Lab materials for the Software and Systems Verification (VIMIMA01) course☆30Updated 2 years ago
- A curated list of awesome model-driven engineering resources.☆20Updated 8 months ago
- ☆12Updated 4 years ago
- ☆10Updated 6 years ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆18Updated last week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆69Updated last year
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- Modelserver component☆45Updated 3 weeks ago
- The Melange Language Workbench☆29Updated last year
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆88Updated this week
- A fast in-memory rule engine☆151Updated this week
- MPS-extensions aims to ease language development within MPS.☆87Updated this week
- Parsing, AST and semantic analysis for the Cypher Query Language☆58Updated 10 months ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated last year