Home of the UML-based Specification Environment (USE)
☆74Apr 27, 2026Updated this week
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:
- Refinery: an efficient graph solver for generating well-formed models☆19Apr 14, 2026Updated 2 weeks ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 3 months ago
- An Xtext DSL for EMF metamodels refactoring and migration☆13Apr 14, 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 last month
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 8 months ago
- ☆13Jul 14, 2025Updated 9 months ago
- List of open source projects that are made by Vietnamese engineers☆12Jan 20, 2016Updated 10 years ago
- ☆16Jan 16, 2026Updated 3 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Apr 1, 2026Updated last month
- JaMoPP can parse Java source and byte code into EMF-based models and vice versa. It preserves source formatting and can be used for code …☆19Mar 18, 2026Updated last month
- C++ Helper library containing various types and functions used throughout many of my projects☆28Updated this week
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆103Updated this week
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- Server implementation for the Sprotty diagramming framework☆27Mar 31, 2026Updated last month
- ☆19Jan 20, 2025Updated last year
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Jun 23, 2017Updated 8 years ago
- CefSharp.OutOfProcess provides a convenient way to run CefSharp in a separate process.☆13Oct 30, 2025Updated 6 months ago
- Astro example on static rendering of Bluesky post embeds☆15Dec 13, 2024Updated last year
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Apr 21, 2026Updated last week
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆74Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- GeoGebra Discovery☆27Apr 18, 2026Updated last week
- Native C#/.NET implementation of ISO schematron☆19Nov 13, 2020Updated 5 years ago
- A HTML template library for C by Fabien Menemenlis☆12Mar 23, 2025Updated last year
- shoutouts to nintendo for leaving dev video streaming stuff in retail☆10Apr 7, 2019Updated 7 years ago
- A domain-specific language for prompt engineering☆30Feb 19, 2025Updated last year
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Bias Tester framework for LLMs☆24Mar 25, 2026Updated last month
- 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
- Decrypt PSSE layer of PSM Games (on PC)☆34Jun 4, 2023Updated 2 years ago
- ☆45Dec 16, 2025Updated 4 months ago
- A C++ SMT/OMT Parser Library☆23Updated this week
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 4 months ago