graphs4value / refinery
Refinery: an efficient graph solver for generating well-formed models
☆16Updated this 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 3 years ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆72Updated last week
- Multi-backend EMF persistence framework.☆53Updated last month
- The Melange Language Workbench☆29Updated last year
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆22Updated 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
- 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…☆19Updated 3 months ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆63Updated 2 years ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆18Updated this week
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆92Updated this week
- ☆18Updated this week
- MPS-extensions aims to ease language development within MPS.☆85Updated this week
- Modelserver component☆45Updated last month
- Reasoner for the description logic EL+.☆14Updated 2 weeks ago
- ☆44Updated last year
- Components and frameworks for building web-based modeling tools☆46Updated 2 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆40Updated 2 weeks ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆31Updated last week
- gemoc-studio☆26Updated last month
- Pluggable type-checking for Java☆20Updated this week
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- Semantic Application Design Language (SADL) Open Source Code☆31Updated 7 months ago
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- The OpenAPI metamodel☆17Updated 3 years ago
- EMF Binding for RDF☆25Updated 9 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆44Updated this week
- An Example for an Xtext Language Server☆36Updated this week