Home of the UML-based Specification Environment (USE)
☆76Jun 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for use
Users that are interested in use are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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…☆25May 28, 2026Updated last month
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆58Updated this week
- A utility for obtaining the hardcoded secrets within the Transformice client.☆15Jun 10, 2025Updated last year
- 🐻❄️📦 GitHub action to run Clippy, an up-to-date and modern version of actions-rs/clippy☆21Updated this week
- An Xtext DSL for EMF metamodels refactoring and migration☆13Jun 23, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆11Updated this week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- ☆13Jul 14, 2025Updated 11 months ago
- Platform agnostic Rust driver for the MAX3010x high-sensitivity pulse oximeter and heart-rate sensor for wearable health☆18Dec 2, 2024Updated last year
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36May 27, 2026Updated last month
- C++ Helper library containing various types and functions used throughout many of my projects☆28Apr 25, 2026Updated 2 months ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆102May 30, 2026Updated last month
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- List of open source low-code tools in GitHub☆39Apr 19, 2026Updated 2 months ago
- ☆19Jan 20, 2025Updated last year
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆24Jun 17, 2026Updated last week
- XML Calabash 3 is an implementation of the XProc 3.0 XML pipeline language.☆11Oct 24, 2024Updated last year
- Example Bots built with the Xatkit framework☆11Aug 24, 2023Updated 2 years ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆12May 4, 2026Updated last month
- A chatbot to help understand an OpenAPI definition☆12Dec 14, 2022Updated 3 years ago
- This repository hosts all the projects used in the MDSE Book☆14Sep 17, 2019Updated 6 years ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆104Apr 26, 2026Updated 2 months 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.
- A Python-based AI-enhanced low-code open-source platform for smart software development☆183Jun 23, 2026Updated last week
- A curated list of awesome model-driven engineering resources.☆22Sep 21, 2024Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆45Apr 3, 2026Updated 2 months ago
- GeoGebra Discovery☆28May 25, 2026Updated last month
- Native C#/.NET implementation of ISO schematron☆19Nov 13, 2020Updated 5 years ago
- Power Platform CLI Wrapper☆25Jun 23, 2026Updated last week
- electrostatic demonstration☆11Aug 2, 2021Updated 4 years ago
- An iXML processor for JavaScript and SaxonJS☆17Nov 5, 2024Updated last year
- A general purpose packet marshaling library☆11Feb 6, 2026Updated 4 months 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.
- IDAPython Loader for DS and DSi ROMs☆10May 12, 2020Updated 6 years ago
- shoutouts to nintendo for leaving dev video streaming stuff in retail☆10Apr 7, 2019Updated 7 years ago
- ☆26Aug 23, 2024Updated last year
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 3 years ago
- Library for doing things with memory written in Rust.☆10Oct 16, 2020Updated 5 years ago
- Capturing desktop and streaming it to NintendoDS☆15Jul 29, 2018Updated 7 years ago
- libnx wrapper for tinygo☆19Jan 3, 2021Updated 5 years ago