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:
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆58Apr 9, 2026Updated last week
- Heterogeneous model indexing solution, based on NoSQL stores.☆17Oct 27, 2019Updated 6 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Dec 16, 2022Updated 3 years ago
- ArchiMate Compound Graphs Viewer and Analyzer☆32Jan 8, 2026Updated 3 months ago
- Eclipse Modeling Framework for C++☆47Apr 9, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Jun 23, 2017Updated 8 years ago
- emfjson-jackson☆23Feb 4, 2026Updated 2 months ago
- ☆19Dec 24, 2019Updated 6 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆35Feb 5, 2026Updated 2 months ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆32Mar 28, 2023Updated 3 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 8 months ago
- ecore-glsp☆31Feb 2, 2023Updated 3 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆187Dec 22, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A guide on how to externalize configuration using MicroProfile Config and configure your microservices using Kubernetes ConfigMaps and Se…☆15Mar 1, 2026Updated last month
- ☆13Aug 13, 2018Updated 7 years ago
- YAKINDU Statechart Tools examples☆22Mar 27, 2026Updated 3 weeks ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- How a legacy web.xml file can be loaded in Spring Boot☆14Aug 6, 2018Updated 7 years ago
- Modelio is an extensible tool. The repository contains several modules, the means of defining, implementing and deploying extensions for …☆22Feb 1, 2024Updated 2 years ago
- Lists infinispan demos and covered technologies☆13Jan 23, 2023Updated 3 years ago
- ☆19Jan 20, 2025Updated last year
- Create mails showing your configuration drift from an ansible repo☆19Apr 10, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 11 months ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆68Mar 10, 2026Updated last month
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- Ecore for JavaScript☆70Jun 1, 2018Updated 7 years ago
- A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code.☆35Aug 27, 2017Updated 8 years ago
- Core runtime engine of the Xatkit low-code bot platform. Easily create complex chatbots. Written in Java☆42Oct 3, 2024Updated last year
- Gentoo overlay with main focus on GPU, Neural Networks, Big Data and Java technologies☆13Apr 6, 2022Updated 4 years ago
- ☆10Nov 23, 2015Updated 10 years ago
- ☆16Oct 27, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- EMF as RESTFul APIs☆42Aug 1, 2018Updated 7 years ago
- A unified framework for API code generators that work with OpenAPI, RAPID-ML and other description languages.☆11Sep 15, 2022Updated 3 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Mar 26, 2020Updated 6 years ago
- Collection of open source hypervolume codes that have been standardized to work with the MOEA Framework.☆13Apr 6, 2024Updated 2 years ago
- Tomboy notes on Android☆19Sep 28, 2016Updated 9 years ago
- UML Class diagram reverse engineering tool☆14Apr 8, 2026Updated last week
- ☆25Aug 23, 2024Updated last year