B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that utilises a parser and listener generated via an ANTLR4 grammar.
☆24Nov 17, 2025Updated 3 months ago
Alternatives and similar repositories for B-OCL-Interpreter
Users that are interested in B-OCL-Interpreter are comparing it to the libraries listed below
Sorting:
- Design and implement agents, bot and chatbots in Python☆69Updated this week
- Standalone version of Apollon Editor☆14Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 3 years ago
- An inequality benchmark for theorem proving☆21Feb 1, 2026Updated last month
- SysML v2 Batmobile example from the book "Don't Panic - The Absolute Beginners Guide to SysML v2" from Tim Weilkiens and Christian Muggeo☆22Jul 24, 2025Updated 7 months ago
- A domain-specific language for prompt engineering☆30Feb 19, 2025Updated last year
- A Tool for Multi-Paradigm Modeling☆25Updated this week
- ☆28Nov 18, 2025Updated 3 months ago
- Home of the UML-based Specification Environment (USE)☆71Feb 6, 2026Updated last month
- A .NET implementation of the OMG SysML2 specification☆24Feb 26, 2026Updated last week
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆185Dec 22, 2024Updated last year
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆102Feb 26, 2026Updated last week
- A curated collection of high-quality SysMLv2 models. We welcome contributions via pull requests to expand this resource. For questions or…☆59Jun 4, 2025Updated 9 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- A simple parser generator written in Java (fork of JavaCC 7.0.3) and used in ph-javacc-maven-plugin☆10Sep 19, 2025Updated 5 months ago
- ☆12May 24, 2025Updated 9 months ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- This project provides a model-driven engineering workbench for CAEX.☆10Feb 2, 2023Updated 3 years ago
- A minimalistic programming language built using Scala 3.4 and ANTLR 4.13.☆33Apr 25, 2025Updated 10 months ago
- Code completion for ANTLR☆10Sep 15, 2020Updated 5 years ago
- Gallery of applications built using bqplot and widget libraries like ipywidgets, ipydatagrid etc.☆11Feb 1, 2023Updated 3 years ago
- ☆11Jun 25, 2025Updated 8 months ago
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Feb 25, 2026Updated last week
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆26Nov 15, 2025Updated 3 months ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 3 weeks ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 7 months ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last week
- Centralized AI agent skills for Obsidian plugin and theme development.☆34Feb 8, 2026Updated 3 weeks ago
- Advanced parsing of structured data using Python's new match statement☆13Jan 15, 2025Updated last year
- A parser for MATLAB language☆12Apr 15, 2025Updated 10 months ago
- OCaml and Rust-style exhaustive exception handling for Python.☆34Jan 2, 2026Updated 2 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- zero dependency plugin to export notes to html inside obsidian.md☆10Sep 10, 2025Updated 5 months ago
- LCA as Code - Domain-Specific Language for Life-Cycle Analysis☆15Oct 1, 2025Updated 5 months ago
- WorldEngine's PyQt based GUI☆13Jul 9, 2015Updated 10 years ago