Home of the UML-based Specification Environment (USE)
☆78Jul 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:
- 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
- A utility for obtaining the hardcoded secrets within the Transformice client.☆15Jun 10, 2025Updated last year
- 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
- 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.
- 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
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Updated this week
- Platform agnostic Rust driver for the MAX3010x high-sensitivity pulse oximeter and heart-rate sensor for wearable health☆18Dec 2, 2024Updated last year
- List of open source projects that are made by Vietnamese engineers☆12Jan 20, 2016Updated 10 years ago
- C++ Helper library containing various types and functions used throughout many of my projects☆28Jul 5, 2026Updated 2 weeks ago
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Label analysis of GitHub projects☆17Oct 9, 2019Updated 6 years ago
- List of open source low-code tools in GitHub☆39Updated this week
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- Language models for Coq based on data collected from the coq lsp.☆31Feb 23, 2026Updated 4 months ago
- Library for doing things with memory written in Rust.☆10Oct 16, 2020Updated 5 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Business Process Modeling☆20Feb 27, 2021Updated 5 years ago
- ☆17Oct 27, 2024Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆46Apr 3, 2026Updated 3 months ago
- 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.
- a tiny contributor license agreement☆13Mar 15, 2021Updated 5 years 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
- Thor Artifacts for Velociraptor☆19Dec 2, 2025Updated 7 months ago
- website to convert videos☆13Apr 12, 2017Updated 9 years ago
- Official implementation of NeurIPS'24 paper "Causal Language Modeling Can Elicit Search and Reasoning Capabilities on Logic Puzzles"☆16Mar 26, 2025Updated last year
- Capturing desktop and streaming it to NintendoDS☆15Jul 29, 2018Updated 7 years ago
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 2 months ago
- libnx wrapper for tinygo☆19Jan 3, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ImHex plugin that provides interface to Zlib inflate in PatternLanguage. Zlib inflate can autodetect and decompress raw deflate, zlib wra…☆10Aug 28, 2023Updated 2 years ago
- Lean 形式化数学☆18Dec 20, 2025Updated 7 months ago
- poc of a tool that can inject a full libnx into nintendo kips☆12May 1, 2019Updated 7 years ago
- HTTP client with a clean API.☆13Nov 22, 2021Updated 4 years ago
- Custom DNS server intended to be used in conjunction with SSSL☆11Jan 27, 2025Updated last year
- This is the official implementation for MA-LoT.☆20Aug 4, 2025Updated 11 months ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated 2 years ago