Alternatives and similar repositories for B-OCL-Interpreter

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

• 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
• BESSER-PEARL / BESSER
  A Python-based low-modeling low-code open-source platform for smart and AI-enhanced software
  ☆137Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 2 years ago
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆50Updated this week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 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
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆71Updated last year
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• graphs4value / refinery
  Refinery: an efficient graph solver for generating well-formed models
  ☆20Updated last month
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated this week
• mdenet / awesome-mde
  A curated list of awesome model-driven engineering resources.
  ☆21Updated last year
• LionWeb-io / lionweb-typescript
  Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.
  ☆11Updated last week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated last month
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆45Updated last month
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆27Updated 2 years 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 3 weeks ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 6 months ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆29Updated 3 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• geodes-sms / gentleman
  Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.
  ☆18Updated last month
• xtext / seven-languages-xtext
  Seven Languages in Seven Weeks (with Xtext)
  ☆72Updated 2 years ago
• dslmeinte / polyglot-emf
  Proposal(s) to make EMF polyglot.
  ☆11Updated 4 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆159Updated 8 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• Strumenta / MPSServer
  ☆21Updated 2 years ago