Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
☆20Apr 1, 2026Updated 2 months ago
Alternatives and similar repositories for reltester
Users that are interested in reltester are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically finds strings in your project and uses them to create the keys to a .csv translation file☆10Aug 18, 2022Updated 3 years ago
- ☆20Aug 22, 2023Updated 2 years ago
- A library for conveniently displaying well-formatted, and good looking errors to users of CLI applications. Useful for bubbling up unreco…☆18May 15, 2020Updated 6 years ago
- A Rust-native WebAssembly syntax model useful for generating, reading, and emitting WebAssembly code.☆17May 22, 2026Updated 3 weeks ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years 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 cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆25Oct 26, 2023Updated 2 years ago
- A simple, modern fuzzy finder tool to run examples in a Cargo project.☆14Apr 15, 2023Updated 3 years ago
- A Rust Vector which swaps to disk based on given parameters☆44Nov 29, 2023Updated 2 years ago
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 2025Updated last year
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 3 years ago
- ☆13Aug 29, 2022Updated 3 years ago
- An interface for writing a RustTypeChecker.☆44Feb 27, 2023Updated 3 years ago
- A simple addon that records videos out of your project!☆25Sep 23, 2021Updated 4 years ago
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 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.
- A CLI to control device backlight☆10Sep 20, 2025Updated 8 months ago
- Control Minecraft's in-game music - In-game music player☆19Mar 18, 2024Updated 2 years ago
- Learn what's changed on crates.io☆19May 7, 2026Updated last month
- A safe Rust wrapper for libsixel☆39Aug 30, 2023Updated 2 years ago
- A Rusty .DS_Store file parser!☆31Dec 23, 2022Updated 3 years ago
- Helper macros: autoimpl, impl_scope☆69Mar 2, 2026Updated 3 months ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 6 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- A linguist-inspired language classifier with multiple file source handlers☆32Jun 2, 2026Updated last week
- 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.
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year
- Small crate for interacting with cargo registry indices☆31Apr 27, 2026Updated last month
- Run your Rust CLI programs as state machines with persistence and recovery abilities☆37Jun 6, 2023Updated 3 years ago
- Stream based PDF library☆15Aug 20, 2015Updated 10 years ago
- Another builder macro-based generator☆15Jul 13, 2025Updated 10 months ago
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago
- Space Efficient Pretty Printer☆17Apr 15, 2022Updated 4 years ago
- A pure Rust reimplementation of libc functions localtime, gmtime and mktime.☆170Jan 29, 2026Updated 4 months ago
- A POSIX compatible shell written by Rust language.☆14Apr 30, 2024Updated 2 years 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 cellular automaton wasm example☆12Feb 1, 2025Updated last year
- The mock HTTP upstream for development of HTTP applications and reverse proxies.☆22Aug 24, 2023Updated 2 years ago
- Command-line tool for tracking your day-to-day software development work☆18May 8, 2022Updated 4 years ago
- Asynchronize blocking operation.☆26Apr 1, 2022Updated 4 years ago
- Allows for analog camera control on Super Mario 64.☆11May 8, 2020Updated 6 years ago
- SSL certificate authority script package for creating and signing your own SSL/TLS certificates☆11Nov 28, 2025Updated 6 months ago
- https://crates.io/crates/undname☆20Oct 7, 2024Updated last year