Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
☆20Apr 1, 2026Updated 4 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- System for booting multiple diskless machines with a central root FS☆20Dec 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 last month
- 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
- Small crate for interacting with cargo registry indices☆31Apr 27, 2026Updated 3 months ago
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 3 years ago
- ☆13Aug 29, 2022Updated 3 years ago
- Control Minecraft's in-game music - In-game music player☆19Mar 18, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple addon that records videos out of your project!☆25Sep 23, 2021Updated 4 years 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 22, 2026Updated 3 weeks ago
- Python-based Scraping and parsing toolkit☆12Apr 1, 2023Updated 3 years ago
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 2025Updated last year
- A linguist-inspired language classifier with multiple file source handlers☆30Jul 31, 2026Updated last week
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated 2 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.
- Run your Rust CLI programs as state machines with persistence and recovery abilities☆37Jun 6, 2023Updated 3 years ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 7 years ago
- Another builder macro-based generator☆15Jul 13, 2025Updated last year
- The resulting state or product of decomplecting: Clojure and ClojureScript libraries☆16Oct 30, 2015Updated 10 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- 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.☆172Jun 19, 2026Updated last month
- Command-Line SQLite3 Wrapper for text manipulation with SQL☆16Feb 9, 2017Updated 9 years ago
- Space Efficient Pretty Printer☆17Apr 15, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tool to process Signum! 1/2 document files (*.SDO)☆10Feb 7, 2026Updated 6 months ago
- Universal ER diagram converter.☆14May 5, 2026Updated 3 months ago
- A POSIX compatible shell written by Rust language.☆14Apr 30, 2024Updated 2 years ago
- Approximate Quantiles with Configurable Worst Case Error☆16Mar 8, 2022Updated 4 years ago
- A cellular automaton wasm example☆12Feb 1, 2025Updated last year
- An FFI-friendly null-terminated byte string☆21Jan 20, 2022Updated 4 years ago
- Easy-cast library☆30Aug 5, 2026Updated last week