Home of the UML-based Specification Environment (USE)
☆71Feb 6, 2026Updated last month
Alternatives and similar repositories for use
Users that are interested in use are comparing it to the libraries listed below
Sorting:
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆24Nov 17, 2025Updated 4 months ago
- A utility for obtaining the hardcoded secrets within the Transformice client.☆15Jun 10, 2025Updated 9 months ago
- Refinery: an efficient graph solver for generating well-formed models☆20Mar 11, 2026Updated last week
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- An Xtext DSL for EMF metamodels refactoring and migration☆13Mar 3, 2026Updated 2 weeks ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated 2 weeks ago
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆11Mar 15, 2026Updated last week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- ☆13Jul 14, 2025Updated 8 months ago
- Platform agnostic Rust driver for the MAX3010x high-sensitivity pulse oximeter and heart-rate sensor for wearable health☆17Dec 2, 2024Updated last year
- C++ Helper library containing various types and functions used throughout many of my projects☆28Feb 6, 2026Updated last month
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- ☆11Dec 13, 2014Updated 11 years ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆49Mar 10, 2026Updated last week
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 3 years ago
- Server implementation for the Sprotty diagramming framework☆26Feb 10, 2026Updated last month
- A process for Ada/SPARK software to meet ISO 26262☆28Jul 8, 2025Updated 8 months ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated 10 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated last year
- XML Calabash 3 is an implementation of the XProc 3.0 XML pipeline language.☆11Oct 24, 2024Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 3 months ago
- Sample code for creating a custom Quick Create gallery for Hyper-V☆14Aug 30, 2019Updated 6 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 2019Updated 6 years ago
- Documents for certain courses at VNU-UET☆23Jun 11, 2025Updated 9 months ago
- HFCommunity offers an offline up-to-date relational database built from the data available at the Hugging Face Hub, providing queriable d…☆15Oct 14, 2024Updated last year
- GeoGebra Discovery☆27Feb 28, 2026Updated 3 weeks ago
- ☆16Oct 27, 2024Updated last year
- ☆30Jul 22, 2025Updated 8 months ago
- electrostatic demonstration☆11Aug 2, 2021Updated 4 years ago
- ☆11Apr 7, 2024Updated last year
- A general purpose packet marshaling library☆11Feb 6, 2026Updated last month
- ☆25Aug 23, 2024Updated last year
- A domain-specific language for prompt engineering☆30Feb 19, 2025Updated last year
- A WEBFISHING mod to play guitars with MIDI! 🎶☆36Nov 16, 2024Updated last year
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆29Sep 3, 2024Updated last year
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- Library for doing things with memory written in Rust.☆10Oct 16, 2020Updated 5 years ago