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:
- Heterogeneous model indexing solution, based on NoSQL stores.☆17Oct 27, 2019Updated 6 years ago
- ArchiMate Compound Graphs Viewer and Analyzer☆31Jan 8, 2026Updated 2 months ago
- emfjson-jackson☆23Feb 4, 2026Updated last month
- ☆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
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- OCL Terminology Service v2 in python/django☆19Mar 21, 2026Updated last week
- ecore-glsp☆31Feb 2, 2023Updated 3 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆186Dec 22, 2024Updated last year
- A bus factor analyzer for Git repositories☆25Mar 30, 2019Updated 6 years ago
- YAKINDU Statechart Tools examples☆22Mar 6, 2026Updated 3 weeks ago
- OCL Client for OpenMRS☆19Jan 7, 2023Updated 3 years ago
- How a legacy web.xml file can be loaded in Spring Boot☆14Aug 6, 2018Updated 7 years ago
- Server implementation for the Sprotty diagramming framework☆27Feb 10, 2026Updated last month
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆56Mar 10, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 10 months 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
- Source code for "An Empirical Study of Code Smells in Transformer-based Code Generation Techniques".☆11Oct 4, 2022Updated 3 years ago
- The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…☆13May 19, 2025Updated 10 months ago
- ☆10Nov 23, 2015Updated 10 years ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- GeoGebra Discovery☆27Feb 28, 2026Updated last month
- EMF as RESTFul APIs☆42Aug 1, 2018Updated 7 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- This is the code repo for the paper <UTC-IE: A Unified Token-pair Classification Architecture for Information Extraction>☆15Aug 10, 2023Updated 2 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Mar 26, 2020Updated 6 years 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 9 months ago
- ☆25Aug 23, 2024Updated last year
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 8 years ago
- Spark Tutorial at the University of Maryland☆38Oct 24, 2014Updated 11 years ago
- Command line and Eclipse UI for static package, plugin and feature dependencies analysis☆13Jan 12, 2026Updated 2 months ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- Create the Clean Architecture directory structure in your projects☆12Jul 9, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- Code Snippet Recommendation from Stack Overflow Post☆19Jun 30, 2021Updated 4 years ago
- KIND: an Italian Multi-Domain Dataset for Named Entity Recognition☆15Jun 28, 2023Updated 2 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Apr 10, 2021Updated 4 years ago
- Complexity Based Prompting for Multi-Step Reasoning☆17Mar 10, 2023Updated 3 years ago