A repository for examples of all kinds of OCL (Object Constraint Language) expressions
☆25Dec 29, 2016Updated 9 years ago
Alternatives and similar repositories for ocl-repository
Users that are interested in ocl-repository are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Label analysis of GitHub projects☆17Oct 9, 2019Updated 7 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆59Updated this week
- JaMoPP can parse Java source and byte code into EMF-based models and vice versa. It preserves source formatting and can be used for code …☆25Mar 18, 2026Updated 7 months ago
- Heterogeneous model indexing solution, based on NoSQL stores.☆17Oct 27, 2019Updated 7 years ago
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Jun 23, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Online service for analyzing research profiles of scientists and conferences☆14Oct 28, 2022Updated 4 years ago
- EMF as RESTFul APIs☆42Aug 1, 2018Updated 8 years ago
- emfjson-jackson☆27Sep 15, 2026Updated last month
- The Library Training Material (Incoming Eclipse Papyrus Photon Year 2018-2019)☆11Oct 27, 2018Updated 8 years ago
- Eclipse Modeling Framework for C++☆47Apr 9, 2021Updated 5 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 2019Updated 7 years ago
- Plugin development for Cameo - The basics☆14Jun 24, 2022Updated 4 years ago
- A Java project ready to run ATL/EMFVM transformations☆13Oct 14, 2021Updated 5 years ago
- The OpenAPI metamodel☆17Oct 10, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Model Driven Engineering for C++ (MDE4CPP)☆14Oct 30, 2026Updated last week
- Code generation scripts from UML (class diagrams) to SQL, PHP / Symfony and Python / Django (so far)☆24Mar 22, 2016Updated 10 years ago
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated 2 years ago
- 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…☆27Oct 22, 2026Updated 2 weeks ago
- Marrying Search-based Optimization and Model Transformation Technology☆18May 20, 2019Updated 7 years ago
- JSON Binding for Eclipse Modeling Framework☆84Jun 26, 2021Updated 5 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆38Feb 5, 2026Updated 9 months ago
- Repositório para guia de referência em git☆10Aug 18, 2018Updated 8 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A domain-specific language for prompt engineering☆32Feb 19, 2025Updated last year
- Multimodal verification of Replicated Data Types in Lean☆11Updated this week
- ☆13Aug 13, 2018Updated 8 years ago
- A guide on how to externalize configuration using MicroProfile Config and configure your microservices using Kubernetes ConfigMaps and Se…☆15Jun 19, 2026Updated 4 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- A tool to generate UML class diagrams from JSON schema documents☆40Jun 22, 2020Updated 6 years ago
- Example Bots built with the Xatkit framework☆11Aug 24, 2023Updated 3 years ago
- ecore-glsp☆33Feb 2, 2023Updated 3 years ago
- ☆11Dec 30, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Deprecated: Eclipse plugin providing grammar checking using LanguageTool☆13Oct 14, 2017Updated 9 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year
- Lists infinispan demos and covered technologies☆13Jan 23, 2023Updated 3 years ago
- A guide on how to use MicroProfile Rest Client to invoke RESTful microservices over HTTP in a type-safe way: https://openliberty.io/guide…☆10Mar 1, 2026Updated 8 months ago
- System Architecture Framework☆12May 16, 2024Updated 2 years ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- A network map of 15 major groups or projects and their known clinical affiliates that have connections to "gender exploratory" therapy th…☆13Jun 10, 2025Updated last year