Home of the UML-based Specification Environment (USE)
β80Jul 12, 2026Updated last month
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:
- 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β20Updated this week
- An inequality benchmark for theorem provingβ22Feb 1, 2026Updated 7 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
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code for the paper: Proving Theorems Recursivelyβ12May 23, 2024Updated 2 years ago
- An interactive development environment for SMT-LIB files and Z3β24Aug 16, 2022Updated 4 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.β25Aug 11, 2026Updated 3 weeks ago
- β27Aug 17, 2026Updated 2 weeks ago
- A domain-specific language for prompt engineeringβ32Feb 19, 2025Updated last year
- Refinery: an efficient graph solver for generating well-formed modelsβ21Jul 28, 2026Updated last month
- Example Bots built with the Xatkit frameworkβ11Aug 24, 2023Updated 3 years ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.β27Jul 31, 2026Updated last month
- A toolbox for Hekateβ20Oct 8, 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.
- An efficient graph solver for generating well-formed modelsβ25Apr 1, 2022Updated 4 years ago
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellorβ17Jun 23, 2017Updated 9 years ago
- A chatbot to help understand an OpenAPI definitionβ12Dec 14, 2022Updated 3 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"β15Jul 2, 2024Updated 2 years ago
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components β¦β19Jul 17, 2026Updated last month
- This repository hosts all the projects used in the MDSE Bookβ14Sep 17, 2019Updated 6 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.β16Jun 8, 2025Updated last year
- Printing a book with HTML/CSSβ20Nov 16, 2019Updated 6 years ago
- Keeper of the Cardsβ10Aug 15, 2026Updated 2 weeks 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.
- A WEBFISHING mod to play guitars with MIDI! πΆβ35Nov 16, 2024Updated last year
- Python API for lightweight communication with the Rocq proof assistantβ21Apr 18, 2026Updated 4 months ago
- a tiny contributor license agreementβ13Mar 15, 2021Updated 5 years ago
- shoutouts to nintendo for leaving dev video streaming stuff in retailβ10Apr 7, 2019Updated 7 years ago
- A tool for testing SMT solvers for incompleteness bugsβ17Oct 12, 2022Updated 3 years ago
- Single file C header for UTF-x-to-y conversions + helpersβ13Jun 11, 2023Updated 3 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
- "Das U-Boot" Source Tree with many Tegra 20/30 devices supportβ12Oct 3, 2023Updated 2 years ago
- β26Aug 23, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This Astro integration generates preview images for external links.β43Nov 14, 2025Updated 9 months ago
- Capturing desktop and streaming it to NintendoDSβ15Jul 29, 2018Updated 8 years ago
- Aurras systemβ11May 15, 2024Updated 2 years ago
- Structured data extraction and programmatic interaction with Lean 4.β20May 7, 2026Updated 3 months ago
- β19Jan 20, 2025Updated last year
- ImHex plugin that provides interface to Zlib inflate in PatternLanguage. Zlib inflate can autodetect and decompress raw deflate, zlib wraβ¦β10Aug 28, 2023Updated 3 years ago
- Lean ε½’εΌεζ°ε¦β19Dec 20, 2025Updated 8 months ago