graphs4value / refinery
Refinery: an efficient graph solver for generating well-formed models
☆16Updated last week
Alternatives and similar repositories for refinery:
Users that are interested in refinery are comparing it to the libraries listed below
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago
- Multi-backend EMF persistence framework.☆51Updated 3 months ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆88Updated this week
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆69Updated this week
- ☆15Updated last week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated 2 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆43Updated this week
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation, that u…☆17Updated 3 weeks ago
- An Xtext DSL for EMF metamodels refactoring and migration☆12Updated 2 weeks ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆18Updated this week
- Modelserver component☆45Updated 3 weeks ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago
- The Next Generation Logic Library☆137Updated 2 months ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- A high-performance library for graph algorithms written in Java. It contains a wide collection of optimized algorithms and data structure…☆18Updated last month
- The Melange Language Workbench☆29Updated last year
- Reasoner for the description logic EL+.☆14Updated last month
- The Train Benchmark framework for evaluating incremental model validation performance☆12Updated 2 years ago
- MPS-extensions aims to ease language development within MPS.☆83Updated this week
- A Java project ready to run ATL/EMFVM transformations☆12Updated 3 years ago
- A Fast Graph Neural Network Library written in Native Java☆19Updated 3 months ago
- JaMoPP can parse Java source and byte code into EMF-based models and vice versa. It preserves source formatting and can be used for code …☆17Updated 2 years ago
- Tutorial: Building a language server for your DSL with Xtext☆28Updated last year
- Grph is a high-performance Java library for the manipulation of graphs.☆20Updated 3 years ago
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆8Updated this week
- gemoc-studio☆25Updated 2 months ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Support for the Eclipse Modeling Framework (EMF) in Eclipse Che☆15Updated 7 years ago