graydon / exhaustigen-rsView external linksLinks
exhaustive testing library
☆66Jul 29, 2024Updated last year
Alternatives and similar repositories for exhaustigen-rs
Users that are interested in exhaustigen-rs are comparing it to the libraries listed below
Sorting:
- A collection of very basic allocators. Written with WebAssembly in mind.☆14Jan 12, 2024Updated 2 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated last year
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- property testing and verification front-end for Rust☆229Jan 24, 2026Updated 3 weeks ago
- Rust macros that produce the name of the function they're invoked within.☆22May 11, 2022Updated 3 years ago
- generators☆211Sep 20, 2023Updated 2 years ago
- ☆36Aug 8, 2024Updated last year
- Just Use /dev/urandom -- now with more safety at early boot☆59Sep 7, 2020Updated 5 years ago
- A Rust library for runtime-checked linearish types☆38Jul 24, 2023Updated 2 years ago
- Generating structured data from arbitrary, unstructured input.☆848Dec 16, 2025Updated last month
- Extraction and modernization of the hyper 0.11.x typed header module☆30Dec 19, 2022Updated 3 years ago
- Spawn processes with arbitrary closures in rust☆115Sep 16, 2021Updated 4 years ago
- Generic extensions for tapping values in Rust.☆59Apr 19, 2019Updated 6 years ago
- myrrlyn’s wyzyrdly library☆25Mar 17, 2024Updated last year
- ☆18Mar 8, 2022Updated 3 years ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- Alternative future adapters that provide cancel safety.☆80Feb 4, 2026Updated last week
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Dec 13, 2018Updated 7 years ago
- A memory efficient container for rust nested collections☆43Sep 4, 2022Updated 3 years ago
- A Binary File Markup Language☆24Dec 2, 2022Updated 3 years ago
- ☆43Aug 20, 2023Updated 2 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Jul 19, 2020Updated 5 years ago
- ☆12Jan 8, 2022Updated 4 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Ensures that wikilinks in markdown notes in apps like logseq, obsidian, etc. point to existing pages, that pages are not duplicated, that…☆13Nov 9, 2025Updated 3 months ago
- A list of Rust buffers that implements the bytes::Buf trait.☆36Oct 2, 2025Updated 4 months ago
- A minimalist property-based testing library☆124Apr 30, 2025Updated 9 months ago
- Stack safe and expressive recursion in Rust☆107Jun 9, 2025Updated 8 months ago
- A framework for writing plugins that integrate with the Rust compiler☆164Sep 26, 2025Updated 4 months ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Oct 15, 2018Updated 7 years ago
- Heap profiling and ad hoc profiling for Rust programs.☆935Feb 20, 2025Updated 11 months ago
- cursed☆14Mar 19, 2023Updated 2 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated 3 weeks ago
- Scope Graph Implementation in Rust☆29Nov 22, 2024Updated last year
- Proof of concept of procedural macro input parsed by LALRPOP☆52Dec 19, 2022Updated 3 years ago
- Helper macros: autoimpl, impl_scope☆68Dec 2, 2025Updated 2 months ago