An efficient graph solver for generating well-formed models
☆25Apr 1, 2022Updated 4 years ago
Alternatives and similar repositories for VIATRA-Generator
Users that are interested in VIATRA-Generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- Model-based Demonstrator for Smart and Safe Systems☆16Aug 11, 2019Updated 7 years ago
- Refinery: an efficient graph solver for generating well-formed models☆21Jul 28, 2026Updated last month
- Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal for…☆24Dec 11, 2021Updated 4 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Marrying Search-based Optimization and Model Transformation Technology☆18May 20, 2019Updated 7 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆36Feb 5, 2026Updated 6 months ago
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated last year
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆192Dec 22, 2024Updated last year
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- A Toolkit for Systematic Literature Reviews☆46Jul 12, 2025Updated last year
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 3 years ago
- Grape - Graph Rewriting and Persistence Engine☆34Jan 14, 2024Updated 2 years ago
- ☆12May 16, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Feb 13, 2025Updated last year
- How to think like a programmer.☆38Mar 20, 2024Updated 2 years ago
- A framework to robustly process network messages and structured data☆16Jun 6, 2017Updated 9 years ago
- Getting started tutorials and cheat sheets for various technologies used in our projects.☆78May 21, 2019Updated 7 years ago
- ROAR-NET API Specification☆15Jul 26, 2026Updated last month
- EMF Binding for RDF☆25Jan 17, 2016Updated 10 years ago
- a book about declarative language definition☆25Mar 31, 2016Updated 10 years ago
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 3 months ago
- ☆43Aug 23, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Programming with JetBrains MPS - Textbook for Beginners☆22Nov 9, 2019Updated 6 years ago
- Web Native language Workbench with Projectional Web Editor☆79Updated this week
- Various LaTeX files that may be useful☆18Feb 27, 2016Updated 10 years ago
- SAMD21 programming notes☆25Apr 6, 2024Updated 2 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Jul 15, 2023Updated 3 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆59Updated this week
- MBSetupController can present a sequence of dialog views that lead the user through a series of steps like a wizard or a setup assistant,…☆11Oct 29, 2019Updated 6 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- ☆12Aug 26, 2024Updated 2 years ago
- Code generation scripts from UML (class diagrams) to SQL, PHP / Symfony and Python / Django (so far)☆26Mar 22, 2016Updated 10 years ago
- Some things I would like to see added to Xtext☆16Feb 11, 2015Updated 11 years ago
- ☆11Apr 24, 2018Updated 8 years ago
- Proposal(s) to make EMF polyglot.☆11Feb 26, 2021Updated 5 years ago
- Python package for matrix storage and operations on hetnets☆14Mar 30, 2023Updated 3 years ago