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:
- Refinery: an efficient graph solver for generating well-formed models☆21Updated this week
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 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 7 months ago
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆193Dec 22, 2024Updated last year
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Awesome list of consistency models☆19Dec 22, 2021Updated 4 years ago
- A Toolkit for Systematic Literature Reviews☆47Jul 12, 2025Updated last year
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 3 years ago
- ☆12Nov 8, 2018Updated 7 years ago
- ☆12May 16, 2022Updated 4 years ago
- Graphical language server platform for building web-based diagram editors☆39Dec 11, 2019Updated 6 years ago
- How to think like a programmer.☆38Mar 20, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Getting started tutorials and cheat sheets for various technologies used in our projects.☆78May 21, 2019Updated 7 years ago
- EMF Binding for RDF☆25Jan 17, 2016Updated 10 years ago
- a book about declarative language definition☆25Mar 31, 2016Updated 10 years ago
- A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code.☆35Aug 27, 2017Updated 9 years ago
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 4 months ago
- ☆27Feb 10, 2021Updated 5 years ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆70Mar 29, 2024Updated 2 years ago
- Programming with JetBrains MPS - Textbook for Beginners☆22Nov 9, 2019Updated 6 years ago
- Web Native language Workbench with Projectional Web Editor☆79Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rule-based spreadsheet data extraction and transformation☆16Feb 20, 2023Updated 3 years ago
- Various LaTeX files that may be useful☆18Feb 27, 2016Updated 10 years ago
- Zoo of implementations associated to the ArduinoML kernel☆15Oct 17, 2024Updated last year
- 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
- Graphical Server Protocol☆12Mar 13, 2019Updated 7 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
- I am developing a set of general-purpose shareable data structures for C# and Java all of whose fields are public readonly/final, and use…☆11Updated this week
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆19Jul 17, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Apr 7, 2024Updated 2 years ago
- Some things I would like to see added to Xtext☆16Feb 11, 2015Updated 11 years ago
- An EMF addon to generate a source structure to separate the model generated code from the overriden code☆15Jul 14, 2025Updated last year
- Tabula Rasa Tic-Tac-Toe☆10Jan 3, 2019Updated 7 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆10Dec 8, 2016Updated 9 years ago
- A network map of 15 major groups or projects and their known clinical affiliates that have connections to "gender exploratory" therapy th…☆13Jun 10, 2025Updated last year