Alternatives and similar repositories for use

Users that are interested in use are comparing it to the libraries listed below

• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆20Updated last year
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆17Updated last week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• BESSER-PEARL / B-OCL-Interpreter
  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…
  ☆24Updated 2 months ago
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated last week
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 2 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated last year
• k-pet-group / BlueJ-Greenfoot
  BlueJ and Greenfoot
  ☆124Updated 3 weeks ago
• ModelEngineeringBooks / MDSEBook
  This repository hosts all the projects used in the MDSE Book
  ☆15Updated 6 years ago
• eclipse-agileuml / agileuml
  AgileUML tools for MDE using UML
  ☆19Updated last week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated last week
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• szschaler / GridGames
  A DSL for developing grid-based arcade-style games. Because, .... fun!
  ☆19Updated 2 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated this week
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆113Updated this week
• jaccomoc / jactl
  A secure, embeddable, scripting language for Java-based applications.
  ☆68Updated 2 weeks ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆51Updated 4 months ago
• milahu / awesome-transpilers
  A curated list of awesome transpilers. aka source-to-source compilers
  ☆104Updated last year
• Hadhzy / Donsus
  Compiler
  ☆14Updated last year
• antlr / antlr5
  ☆73Updated last year
• automatarium / automatarium
  A place for automata
  ☆79Updated this week
• tammet / gkc
  A reasoning system for large knowledge bases.
  ☆33Updated 9 months ago
• OCamlPro / superbol-studio-oss
  Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
  ☆32Updated last month
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆162Updated last week
• TheAliceProject / alice3
  The Alice 3 block-based IDE desktop application. Also contains a NetBeans plugin to extend development into java.
  ☆165Updated this week