Alternatives and similar repositories for Alf-Reference-Implementation

Users that are interested in Alf-Reference-Implementation are comparing it to the libraries listed below

• ModelDriven / fUML-Reference-Implementation
  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.
  ☆63Updated 2 years ago
• oslc-op / oslc-specs
  OSLC OP specifications and notes
  ☆26Updated 2 weeks ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆23Updated 2 years ago
• jcabot / ocl-repository
  A repository for examples of all kinds of OCL (Object Constraint Language) expressions
  ☆24Updated 8 years ago
• opencaesar / oml
  Ontological Modeling Language (OML)
  ☆28Updated 3 weeks ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆11Updated 8 years ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆176Updated 6 months ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆148Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• ifml / ifml-editor
  The open source IFML editor - Based on Sirius
  ☆43Updated 9 years ago
• Systems-Modeling / SysML-v2-Pilot-Implementation
  Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
  ☆158Updated this week
• markusvoelter / mpsintrocourse
  ☆44Updated last year
• pyecore / pyuml2
  A Python Implementation of the UML2 Metamodel based on PyEcore
  ☆22Updated 4 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)…
  ☆32Updated last year
• ModelEngineeringBooks / MDSEBook
  This repository hosts all the projects used in the MDSE Book
  ☆15Updated 5 years ago
• eclipse-epsilon / epsilon
  Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…
  ☆76Updated this week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆70Updated last year
• 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
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆14Updated last month
• borkdominik / bigUML
  A UML web modeling tool based on GLSP, distributed via a VS Code extension.
  ☆43Updated 3 weeks ago
• Open-MBEE / exec-ve
  Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models
  ☆45Updated 10 months ago
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆133Updated 2 months ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 9 months ago
• Systems-Modeling / SysML-v2-API-Services
  Proof-of-concept pilot implementation for the Systems Modeling API and Services.
  ☆60Updated last month
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• opendata-for-all / wapiml
  An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.
  ☆70Updated 3 years ago
• 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