Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
☆20Apr 1, 2026Updated 6 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:
- An importer plugin for Godot 4.x for Piskel projects☆14Oct 5, 2025Updated last year
- Make pixel art in emacs buffers.☆13Feb 22, 2023Updated 3 years ago
- Automatically finds strings in your project and uses them to create the keys to a .csv translation file☆10Aug 18, 2022Updated 4 years ago
- A Rust-native WebAssembly syntax model useful for generating, reading, and emitting WebAssembly code.☆17May 22, 2026Updated 5 months ago
- ☆20Aug 22, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- An infinite digital workspace for creative and visual thinking.☆19Updated this week
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆25Oct 26, 2023Updated 3 years ago
- Synthesis of Formally Verified Cryptographic Primitives☆18Updated this week
- Small crate for interacting with cargo registry indices☆31Oct 23, 2026Updated last week
- A Godot Plugin for generating sounds in real time.☆15Oct 4, 2021Updated 5 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☆45Nov 29, 2023Updated 2 years ago
- System for booting multiple diskless machines with a central root FS☆20Dec 21, 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.
- ☆12Aug 13, 2021Updated 5 years ago
- Learn what's changed on crates.io☆20Updated this week
- Control Minecraft's in-game music - In-game music player☆19Mar 18, 2024Updated 2 years ago
- ☆13Aug 24, 2026Updated 2 months ago
- ☆13Aug 29, 2022Updated 4 years ago
- A simple addon that records videos out of your project!☆25Sep 23, 2021Updated 5 years ago
- A pure Rust reimplementation of libc functions localtime, gmtime and mktime.☆173Jun 19, 2026Updated 4 months ago
- The CompCert formally-verified C compiler☆12Oct 23, 2026Updated last week
- An interface for writing a RustTypeChecker.☆44Feb 27, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Ergonomic tagged pointer☆31Oct 8, 2024Updated 2 years ago
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 2025Updated last year
- A Rusty .DS_Store file parser!☆31Dec 23, 2022Updated 3 years ago
- Simple library to generate SVG block graph☆12Nov 28, 2023Updated 2 years ago
- A linguist-inspired language classifier with multiple file source handlers☆31Updated this week
- Helper macros: autoimpl, impl_scope☆69Jul 22, 2026Updated 3 months ago
- Run your Rust CLI programs as state machines with persistence and recovery abilities☆37Jun 6, 2023Updated 3 years ago
- Fast DEFLATE, zlib and gzip decompression in pure Rust. Supports zero-copy streaming and no-std/no-alloc.☆27Updated this week
- Efficient byte-stream pipe buffer☆45Jul 1, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago
- An FFI-friendly null-terminated byte string☆21Jan 20, 2022Updated 4 years ago
- Another builder macro-based generator☆15Jul 13, 2025Updated last year
- Space Efficient Pretty Printer☆17Apr 15, 2022Updated 4 years ago
- A modular markup language☆27May 28, 2023Updated 3 years ago
- Approximate Quantiles with Configurable Worst Case Error☆16Mar 8, 2022Updated 4 years ago
- A Box-like type in Rust that avoids allocations by storing small values in-place☆15Jun 15, 2025Updated last year