Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
☆20Apr 1, 2026Updated 3 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 2 months ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years 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.
- An infinite digital workspace for creative and visual thinking.☆16Apr 16, 2026Updated 3 months ago
- System for booting multiple diskless machines with a central root FS☆18Dec 21, 2023Updated 2 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆25Oct 26, 2023Updated 2 years ago
- Synthesis of Formally Verified Cryptographic Primitives☆15Jul 1, 2026Updated 3 weeks ago
- A simple, modern fuzzy finder tool to run examples in a Cargo project.☆14Apr 15, 2023Updated 3 years ago
- A Godot Plugin for generating sounds in real time.☆15Oct 4, 2021Updated 4 years ago
- A Rust Vector which swaps to disk based on given parameters☆44Nov 29, 2023Updated 2 years ago
- Small crate for interacting with cargo registry indices☆31Apr 27, 2026Updated 2 months ago
- Zero-terminated string types for FFI.☆13Mar 13, 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.
- ☆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
- A CLI to control device backlight☆10Sep 20, 2025Updated 10 months ago
- Learn what's changed on crates.io☆19Jun 16, 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☆69Jul 2, 2026Updated 3 weeks ago
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A linguist-inspired language classifier with multiple file source handlers☆30Updated this week
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated 2 years ago
- Run your Rust CLI programs as state machines with persistence and recovery abilities☆37Jun 6, 2023Updated 3 years ago
- Another builder macro-based generator☆15Jul 13, 2025Updated last year
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago
- A pure Rust reimplementation of libc functions localtime, gmtime and mktime.☆171Jun 19, 2026Updated last month
- A modular markup language☆27May 28, 2023Updated 3 years ago
- Universal ER diagram converter.☆14May 5, 2026Updated 2 months ago
- A POSIX compatible shell written by Rust language.☆14Apr 30, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Approximate Quantiles with Configurable Worst Case Error☆16Mar 8, 2022Updated 4 years ago
- An FFI-friendly null-terminated byte string☆21Jan 20, 2022Updated 4 years ago
- Easy-cast library☆30Updated this week
- A Box-like type in Rust that avoids allocations by storing small values in-place☆16Jun 15, 2025Updated last year
- https://crates.io/crates/undname☆20Oct 7, 2024Updated last year
- Asynchronize blocking operation.☆26Apr 1, 2022Updated 4 years ago
- ☆21Jun 25, 2026Updated 3 weeks ago