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:
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 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
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years ago
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Jun 23, 2017Updated 9 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆14Aug 12, 2026Updated last month
- 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.
- A Tutorial for tools developed on the DARPA CASE program☆16Oct 18, 2023Updated 2 years ago
- ☆19Dec 24, 2019Updated 6 years ago
- An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.☆72Dec 16, 2021Updated 4 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 7 months ago
- Lightweight views for your models☆15Dec 12, 2023Updated 2 years ago
- YAKINDU Statechart Tools examples☆22Mar 27, 2026Updated 6 months ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆193Dec 22, 2024Updated last year
- A bus factor analyzer for Git repositories☆26Mar 30, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Modelio is an extensible tool. The repository contains several modules, the means of defining, implementing and deploying extensions for …☆24Aug 7, 2026Updated last month
- An Xtext DSL for EMF metamodels refactoring and migration☆14Sep 14, 2026Updated 2 weeks ago
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated last year
- A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code.☆35Aug 27, 2017Updated 9 years ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- Ecore for JavaScript☆71Jun 1, 2018Updated 8 years ago
- A Python Implementation of the UML2 Metamodel based on PyEcore☆22Mar 2, 2021Updated 5 years ago
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- Code for "A Simple but Effective Approach to Improve Structured Language Model Output for Information Extraction"☆16Mar 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tomboy notes on Android☆19Sep 28, 2016Updated 10 years ago
- Answering Ambiguous Questions via Iterative Prompting☆13May 25, 2024Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆64Apr 4, 2023Updated 3 years ago
- Zero-Shot Learning in Named Entity Recognition with Common Sense Knowledge☆17Nov 16, 2021Updated 4 years ago
- Slides of Italian C++ Conference 2021☆10Jul 13, 2021Updated 5 years ago
- ☆14Jun 3, 2025Updated last year
- Code Snippet Recommendation from Stack Overflow Post☆18Jun 30, 2021Updated 5 years ago
- Official implementation of NeurIPS'24 paper "Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles"☆16Mar 26, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 7 months ago
- UML to RAML generator for MDE toolchains☆12Jun 19, 2018Updated 8 years ago
- LiSSA: A Framework for Generic Traceability Link Recovery☆17Updated this week
- ☆19Jan 20, 2025Updated last year
- a standalone mod manager for RimWorld☆12Dec 11, 2022Updated 3 years ago
- Build artefacts for creating a Eclipse RCP application with gradle☆10May 17, 2019Updated 7 years ago
- My collection of Python tools!☆11Jan 27, 2026Updated 8 months ago