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
- 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 …☆21Mar 18, 2026Updated 5 months ago
- Heterogeneous model indexing solution, based on NoSQL stores.☆17Oct 27, 2019Updated 6 years ago
- Multi-backend EMF persistence framework.☆57Oct 24, 2025Updated 10 months ago
- 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
- 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.
- emfjson-jackson☆26Jun 30, 2026Updated 2 months ago
- Model Driven Engineering for C++ (MDE4CPP)☆14Aug 12, 2026Updated 3 weeks ago
- ArchiMate Compound Graphs Viewer and Analyzer☆37Jan 8, 2026Updated 8 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆36Feb 5, 2026Updated 7 months ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆192Dec 22, 2024Updated last year
- An Xtext DSL for EMF metamodels refactoring and migration☆14Sep 1, 2026Updated last week
- Server implementation for the Sprotty diagramming framework☆27Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- How a legacy web.xml file can be loaded in Spring Boot☆14Aug 6, 2018Updated 8 years ago
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated last year
- Lists infinispan demos and covered technologies☆13Jan 23, 2023Updated 3 years ago
- Create mails showing your configuration drift from an ansible repo☆19Apr 10, 2026Updated 4 months ago
- Ecore for JavaScript☆71Jun 1, 2018Updated 8 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- A Python Implementation of the UML2 Metamodel based on PyEcore☆22Mar 2, 2021Updated 5 years ago
- A modified markdown file capable of holding and referencing semantic data☆23Aug 25, 2026Updated 2 weeks ago
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Home of 'jbatch', a compatible implementation of the Jakarta Batch specification (and the former Reference Implementation for the JSR 352…☆24Apr 21, 2024Updated 2 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- GraphQL extension for StarUML3☆16Apr 29, 2022Updated 4 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- ☆18Oct 27, 2024Updated last year
- 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
- ☆10Nov 23, 2015Updated 10 years ago
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 8 years ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 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.
- Quarkus Rest CRUD demo☆22May 6, 2026Updated 4 months ago
- Slides of Italian C++ Conference 2021☆10Jul 13, 2021Updated 5 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 7 months ago
- ☆26Aug 23, 2024Updated 2 years ago
- Collection of open source hypervolume codes that have been standardized to work with the MOEA Framework.☆13Apr 6, 2024Updated 2 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Mar 26, 2020Updated 6 years ago
- UML Class diagram reverse engineering tool☆14Apr 8, 2026Updated 5 months ago