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
  ☆29Updated 2 years ago
• BESSER-PEARL / BESSER
  A Python-based low-modeling low-code platform for smart and AI-enhanced software
  ☆124Updated last week
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆48Updated last week
• 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
• 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-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆114Updated last week
• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 4 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
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆17Updated 3 weeks ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated 10 months ago
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆17Updated this week
• Strumenta / MPSServer
  ☆21Updated last year
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• LogicalContracts / LogicalEnglish
  ☆41Updated this week
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆11Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated last week
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆143Updated last month
• eclipse-gemoc / gemoc-studio
  gemoc-studio
  ☆28Updated 8 months ago
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years ago
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆135Updated last week
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆65Updated 3 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆98Updated last month
• metaborg / spoofax
  Spoofax runtime
  ☆150Updated 6 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…
  ☆163Updated 2 weeks ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week