Refinement Types in (unstable) Rust
☆47Nov 5, 2026Updated this week
Alternatives and similar repositories for sure
Users that are interested in sure are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Support for variety of disjoint impls distinguished by associated types☆30Oct 28, 2026Updated last week
- Wiki for design work going beyond Rust's current reference types☆14Oct 2, 2026Updated last month
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- ☆14Feb 13, 2024Updated 2 years ago
- Propositional logic with exponentials☆23Oct 23, 2026Updated 2 weeks 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.
- An mdBook preprocessor to turn iced code blocks into interactive examples☆24Dec 7, 2025Updated 11 months ago
- Cache aware and mem efficient data structures for rust.☆26Updated this week
- HlsKit provides strong HLS video conversion features backed by ffmpeg. Prepare your mp4 files for streaming.☆13Aug 8, 2025Updated last year
- the most complete serialization tree for serde☆16Apr 24, 2024Updated 2 years ago
- ☆14Dec 26, 2025Updated 10 months ago
- The efficient, intention-preserving sequence CRDT. Guaranteed logarithmic-time operations.☆112Jun 21, 2026Updated 4 months ago
- Place capability graphs, a model for Rust ownership and borrow system.☆14Updated this week
- Tutorial for Creusot☆13Oct 14, 2026Updated 3 weeks ago
- Multiple serialization/deserialization implementations for the same type.☆14Feb 22, 2025Updated last year
- 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.
- Lightweight path selector for searching Rust code☆17May 22, 2023Updated 3 years ago
- Trait synonyms for “Fn[…]”-trait bounds returning futures☆24Dec 7, 2021Updated 4 years ago
- Experimental GUI library☆15Updated this week
- An asynchronous single-consumer single-producer pipe for bytes☆18Aug 11, 2026Updated 2 months ago
- SIMD-optimized B+ Tree implementation that uses integer keys☆97Oct 27, 2026Updated 2 weeks ago
- Graph data structure library aspiring to be convenient, versatile, correct and performant.☆94Mar 13, 2026Updated 7 months ago
- An exploration of Storages☆42Oct 29, 2023Updated 3 years ago
- A worker pool library for Rust☆13Jul 27, 2026Updated 3 months ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Jun 20, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Small crate for interacting with cargo registry indices☆31Oct 23, 2026Updated 2 weeks ago
- generic statics for rust☆16Apr 13, 2024Updated 2 years ago
- ☆37Mar 17, 2022Updated 4 years ago
- An easy-to-use, incremental, multi-threaded garbage collector for Rust☆12Aug 11, 2024Updated 2 years ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- `smol` integrations with `hyper`☆18Feb 16, 2026Updated 8 months ago
- Generic Range iterators for Rust☆29Jul 7, 2026Updated 4 months ago
- Tap into any binary's traffic, including decrypted TLS - no root required.☆28Jun 21, 2026Updated 4 months ago
- A human-friendly notation for Unicode symbols.☆54Oct 20, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Add a cute dependency declaration snippet in your crate documentation.☆42Nov 22, 2021Updated 4 years ago
- "Generic generics" / higher-kinded APIs in stable Rust.☆21Sep 7, 2026Updated 2 months ago
- Collection of examples for showcasing various Rust graph data structure libraries.☆33Aug 22, 2025Updated last year
- A persistent configuration management library for embedded Rust applications.☆21Jul 21, 2026Updated 3 months ago
- Const FNV1A hashing implementation.☆20Aug 13, 2022Updated 4 years ago
- A zero-allocation library providing const-generic implementations of Bézier curves, B-Spline curves and specialized implementations of up…☆54Oct 21, 2026Updated 2 weeks ago
- ☆20Sep 30, 2022Updated 4 years ago
Are these results useful?