Convenient creation of type-safe refinement types.
☆23Jul 30, 2024Updated last year
Alternatives and similar repositories for refinement
Users that are interested in refinement are comparing it to the libraries listed below
Sorting:
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 6 years ago
- Experimental type level programming in Rust☆41Jul 19, 2021Updated 4 years ago
- Generic SIMD abstractions for Rust.☆46Nov 18, 2022Updated 3 years ago
- Fast geolocation library for Pandas dataframes written in Rust☆11Feb 7, 2023Updated 3 years ago
- Functions for determining terminal sizes in Rust☆14Feb 16, 2026Updated last week
- ☆11Jan 4, 2023Updated 3 years ago
- composable validation functions for custom types☆14Jun 11, 2025Updated 8 months ago
- enforce representation/class invariants in your Rust data structures☆12Feb 11, 2023Updated 3 years ago
- Crate for data that should be pinned to the stack at the point of declaration.☆14Dec 21, 2020Updated 5 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- An implementation of the arrayvec crate using const generics☆20Nov 11, 2020Updated 5 years ago
- A Rust library to decrypt & encrypt any cheat code for CodeBreaker PS2☆22Nov 29, 2025Updated 2 months ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆15May 27, 2021Updated 4 years ago
- Multi-Dimensional Analog Literals in Rust☆15May 24, 2021Updated 4 years ago
- `NonEmpty` library vector for rust☆19Jul 23, 2022Updated 3 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Sep 14, 2021Updated 4 years ago
- ☆18May 4, 2020Updated 5 years ago
- A Rust library for crafting interactive shell interfaces.☆18Sep 28, 2025Updated 5 months ago
- Generic permutator written in Rust that permutates both lists of lists and singular lists using references.☆15May 2, 2019Updated 6 years ago
- Physics vector library☆17Jan 16, 2022Updated 4 years ago
- A Rust library for checking the intersection of two lines, rays, or line segments☆14Jun 25, 2022Updated 3 years ago
- An Experimental LISP☆20Jul 14, 2022Updated 3 years ago
- impl Stream for (your own) Generator☆18Jun 3, 2019Updated 6 years ago
- Overriding Stdio file descriptors in Rust☆18Jan 26, 2025Updated last year
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- Automatically derives `is_dog` and `is_cat` methods for `enum Pet { Dog, Cat }`.☆22Dec 26, 2020Updated 5 years ago
- Rust's missing `String` literal☆19Jun 26, 2019Updated 6 years ago
- Haskell-style monads in Rust.☆27May 25, 2023Updated 2 years ago
- [deprecated] A simple, ergonomic vector mathematics crate for Rust☆23Oct 24, 2019Updated 6 years ago
- Easy-cast library☆30Dec 2, 2025Updated 2 months ago
- Tetris Made in Rust and SDL2☆20Dec 17, 2020Updated 5 years ago
- [rust] Extensions to the Box type☆23Apr 24, 2019Updated 6 years ago
- prae is a crate that aims to provide a better way to define types that require validation.☆135Jan 31, 2023Updated 3 years ago
- D-inspired contract programming in Rust using macros☆53Jul 6, 2021Updated 4 years ago
- Provides a Refl encoding in Rust☆68Apr 6, 2023Updated 2 years ago
- Website for async-std☆23Jan 18, 2023Updated 3 years ago
- Rust port of https://kholdstare.github.io/technical/2020/05/26/faster-integer-parsing.html☆22Feb 15, 2026Updated last week
- A rust library that provides pseudo-reflection for structs and enums☆22Oct 2, 2020Updated 5 years ago
- A data engine for Data Oriented Design☆26Apr 19, 2019Updated 6 years ago