Alternatives and similar repositories for B-OCL-Interpreter

Users that are interested in B-OCL-Interpreter are comparing it to the libraries listed below

• diverse-project / melange
  The Melange Language Workbench
  ☆30Updated 2 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 2 years ago
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆51Updated this week
• BESSER-PEARL / BESSER
  A Python-based low-modeling low-code open-source platform for smart and AI-enhanced software
  ☆140Updated this week
• 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
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 2 weeks ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆31Updated 2 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆69Updated last week
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆139Updated 2 months ago
• ModelEngineeringBooks / MDSEBook
  This repository hosts all the projects used in the MDSE Book
  ☆15Updated 6 years ago
• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 4 years ago
• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆64Updated 2 years ago
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆11Updated last week
• markusvoelter / mpsintrocourse
  ☆44Updated last month
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 3 months ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆69Updated this week
• alcides / aeon
  Aeon programming language
  ☆25Updated 3 weeks ago
• diverse-project / k3
  action language providing open class mechanism to xtend/java
  ☆25Updated 2 years ago
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆18Updated 2 months ago
• 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 last week