BESSER-PEARL / B-OCL-InterpreterView external linksLinks
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 2 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:
- 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 week
- A Tool for Multi-Paradigm Modeling☆25Feb 6, 2026Updated last week
- ☆28Nov 18, 2025Updated 2 months ago
- Home of the UML-based Specification Environment (USE)☆70Feb 6, 2026Updated last week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆34Jan 26, 2026Updated 2 weeks ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆183Dec 22, 2024Updated last year
- A collection of libraries to work with languages from Java, Kotlin, Python, Javascript, and Typescript☆39Aug 15, 2025Updated 5 months ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Apr 10, 2021Updated 4 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆25Nov 25, 2025Updated 2 months ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 months ago
- Clearbox AI's all-in-one solution for generation and evaluation of synthetic tabular and time-series data.☆44Sep 24, 2025Updated 4 months ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆25Feb 4, 2025Updated last year
- Centralized AI agent skills for Obsidian plugin and theme development.☆29Updated this week
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Profitable MT5 Expert Advisors☆19Jan 5, 2026Updated last month
- ☆13May 24, 2025Updated 8 months ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 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 4 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 6 months ago
- A minimalistic programming language built using Scala 3.4 and ANTLR 4.13.☆33Apr 25, 2025Updated 9 months ago
- JUG Torino Website☆10Oct 12, 2025Updated 4 months ago
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 2 months ago
- ☆11Jun 25, 2025Updated 7 months ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 6 months ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆37Jan 26, 2026Updated 2 weeks ago
- ☆14Oct 7, 2019Updated 6 years ago
- OCaml and Rust-style exhaustive exception handling for Python.☆33Jan 2, 2026Updated last month
- Advanced parsing of structured data using Python's new match statement☆13Jan 15, 2025Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 10 years ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 4, 2026Updated last week
- Multi-arch Docker images for Idris 2☆13Updated this week
- Simulation environment for sweep-based room impulse response measurements (student project)☆11Jun 10, 2017Updated 8 years ago
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆242Feb 6, 2026Updated last week
- Obsidian plugin that updates front matter to include creation and last update times☆17Aug 8, 2025Updated 6 months ago
- Yeoman generator for gradle plugin☆12Jan 21, 2026Updated 3 weeks ago