Home of the UML-based Specification Environment (USE)
☆73Feb 6, 2026Updated 2 months 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…☆24Apr 1, 2026Updated last week
- Calculator Tutorial for MPS generating JavaScript☆13Apr 5, 2023Updated 3 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 2 months ago
- 🐻❄️📦 GitHub action to run Clippy, an up-to-date and modern version of actions-rs/clippy☆21Apr 4, 2026Updated last week
- This repository collects proposals to enhance Schematron beyond the ISO specification☆10Feb 8, 2022Updated 4 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.
- An Xtext DSL for EMF metamodels refactoring and migration☆13Mar 31, 2026Updated last week
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆11Updated this week
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 8 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
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Apr 1, 2026Updated last week
- XML/XSLT processing in the browser, supported by a Typescript library☆11Feb 18, 2025Updated last year
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆103Apr 1, 2026Updated last week
- Example Bots built with the Xatkit framework☆11Aug 24, 2023Updated 2 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.
- Processing application schemas for geographic information☆22Updated this week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆38Apr 3, 2026Updated last week
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Mar 18, 2026Updated 3 weeks ago
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- Sample code for creating a custom Quick Create gallery for Hyper-V☆14Aug 30, 2019Updated 6 years ago
- 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
- A curated list of awesome model-driven engineering resources.☆22Sep 21, 2024Updated last year
- Business Process Modeling☆20Feb 27, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- GeoGebra Discovery☆27Apr 3, 2026Updated last week
- ☆16Oct 27, 2024Updated last year
- ☆29Jul 22, 2025Updated 8 months ago
- An iXML processor for JavaScript and SaxonJS☆17Nov 5, 2024Updated last year
- A general purpose packet marshaling library☆11Feb 6, 2026Updated 2 months ago
- IDAPython Loader for DS and DSi ROMs☆10May 12, 2020Updated 5 years ago
- ☆25Aug 23, 2024Updated last year
- A WEBFISHING mod to play guitars with MIDI! 🎶☆36Nov 16, 2024Updated last year
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 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.
- Common data format specification for cast vote records☆21Jan 21, 2025Updated last year
- Library for doing things with memory written in Rust.☆10Oct 16, 2020Updated 5 years ago
- Streams the content of your (linux for now) computer-screen to the nintendo switch!☆13Nov 12, 2018Updated 7 years ago
- This Astro integration generates preview images for external links.☆44Nov 14, 2025Updated 4 months ago
- A C++ SMT/OMT Parser Library☆23Updated this week
- A community-owned registry of Squid archives☆14Jul 17, 2024Updated last year
- A flexible and pragmatic chatbot intent classifier for chatbots☆16Jul 17, 2023Updated 2 years ago