Alternatives and similar repositories for use

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

• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 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
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆34Updated 2 years ago
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆20Updated last week
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 3 weeks ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆119Updated this week
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆22Updated last year
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• automatarium / automatarium
  A place for automata
  ☆81Updated 2 months ago
• wouterbeek / prolog_graphviz
  A library for visualizing graphs in Prolog.
  ☆17Updated last year
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆75Updated this week
• 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…
  ☆168Updated 2 weeks ago
• SteKoe / ocl.js
  The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…
  ☆57Updated this week
• ASSERT-KTH / spork
  AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
  ☆63Updated 11 months ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆69Updated this week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆31Updated 2 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆140Updated this week
• milahu / awesome-transpilers
  A curated list of awesome transpilers. aka source-to-source compilers
  ☆123Updated last year
• tammet / gkc
  A reasoning system for large knowledge bases.
  ☆33Updated last year
• antlr / antlr5
  ☆72Updated last year
• OCamlPro / gnucobol
  A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
  ☆46Updated last week
• k-pet-group / BlueJ-Greenfoot
  BlueJ and Greenfoot
  ☆131Updated this week
• uwol / proleap-cobol-parser
  ProLeap ANTLR4-based parser for COBOL
  ☆186Updated last year
• eclipse-agileuml / agileuml
  AgileUML tools for MDE using UML
  ☆20Updated this week
• congo-cc / congo-parser-generator
  The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC
  ☆47Updated last month
• ModelEngineeringBooks / MDSEBook
  This repository hosts all the projects used in the MDSE Book
  ☆15Updated 6 years ago
• goto40 / self-dsl
  like self-html... but for DSLs
  ☆11Updated 4 years ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 3 years ago