Home of the UML-based Specification Environment (USE)
☆79Jul 12, 2026Updated last 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:
- Lightweight run-time level sandboxing for java☆20Jun 17, 2025Updated last year
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- 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
- Refinery: an efficient graph solver for generating well-formed models☆21Jul 12, 2026Updated last week
- This repository contain more than 9000 B-UML models. Each with an image, executable code, test cases and textual description☆17May 12, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 5 months ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆12Updated this week
- ☆11Dec 13, 2014Updated 11 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Jul 13, 2026Updated last week
- 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 4 months ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆103Jul 14, 2026Updated last week
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- 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.
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆25Jun 17, 2026Updated last month
- List of open source low-code tools in GitHub☆39Updated this week
- BPELviz visualizes WS-BPEL 2.0 processes interactively with HTML5.☆17Mar 24, 2015Updated 11 years ago
- EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables develo…☆17Jun 2, 2019Updated 7 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- Processing application schemas for geographic information☆23Updated this week
- Astro example on static rendering of Bluesky post embeds☆15Dec 13, 2024Updated last year
- Library for doing things with memory written in Rust.☆10Oct 16, 2020Updated 5 years ago
- Language models for Coq based on data collected from the coq lsp.☆31Feb 23, 2026Updated 4 months ago
- 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.
- Cybersecurity & Privacy open Reference Data in OSCAL☆17Updated this week
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- AgileUML tools for MDE using UML☆24Jul 13, 2026Updated last week
- ☆12Apr 7, 2024Updated 2 years ago
- The Princess Theorem Prover☆36Updated this week
- DARPA CASE program☆16Jun 10, 2025Updated last year
- Business Process Modeling☆20Feb 27, 2021Updated 5 years ago
- ☆16Jun 16, 2026Updated last month
- A WEBFISHING mod to play guitars with MIDI! 🎶☆35Nov 16, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).☆19Aug 22, 2018Updated 7 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆46Apr 3, 2026Updated 3 months ago
- A general purpose packet marshaling library☆11Jul 13, 2026Updated last week
- An unofficial addon for TeamSpeak 6 adding support for BBCodes and rich embeds☆15May 31, 2026Updated last month
- shoutouts to nintendo for leaving dev video streaming stuff in retail☆10Apr 7, 2019Updated 7 years ago
- Thor Artifacts for Velociraptor☆19Dec 2, 2025Updated 7 months ago
- website to convert videos☆13Apr 12, 2017Updated 9 years ago