Refinement Types in (unstable) Rust
☆45Oct 12, 2026Updated last 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☆29Updated this week
- Cache aware and mem efficient data structures for rust.☆25Updated this week
- ☆14Feb 13, 2024Updated 2 years ago
- A modular Rust syntax toolkit for tokenization, parsing, formatting, diagnostics, and quasi-quoting.☆40Oct 10, 2026Updated last week
- 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.
- Trait synonyms for “Fn[…]”-trait bounds returning futures☆24Dec 7, 2021Updated 4 years ago
- ☆21Feb 26, 2024Updated 2 years ago
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Jun 20, 2026Updated 4 months ago
- A worker pool library for Rust☆13Jul 27, 2026Updated 2 months ago
- Bijective variable-length encoding for unsigned integers☆55Aug 22, 2026Updated last month
- Attachment Converter: tool for batch converting attachments in an email mailbox☆12Sep 25, 2026Updated 3 weeks ago
- "Generic generics" / higher-kinded APIs in stable Rust.☆20Sep 7, 2026Updated last month
- Tap into any binary's traffic, including decrypted TLS - no root required.☆28Jun 21, 2026Updated 3 months ago
- Small crate for interacting with cargo registry indices☆31Oct 12, 2026Updated last week
- 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 prototype notation for referentially stable constructors☆17Jul 15, 2025Updated last year
- A persistent configuration management library for embedded Rust applications.☆21Jul 21, 2026Updated 2 months ago
- Const FNV1A hashing implementation.☆20Aug 13, 2022Updated 4 years ago
- Const TypeId and non-'static TypeId☆74Jun 24, 2026Updated 3 months ago
- Fast new algorithms for finding the medians, implemented in Rust☆15Oct 4, 2026Updated 2 weeks ago
- A crate for compile-time duck typing and reflection of structs☆16Jan 22, 2022Updated 4 years ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Aug 21, 2026Updated 2 months ago
- [DEPRECATED] Cargo subcommand for running cargo without dev-dependencies.☆17Sep 4, 2026Updated last month
- Checking that your dependency requirements are sound☆14Apr 3, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Modern Browser for the Reticulum Network using Reticulum-Go☆26Updated this week
- Build packages, go/Rust projects, and OS images with Buck2☆53Updated this week
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- A sinless derive helper☆79Dec 17, 2025Updated 10 months ago
- Const equivalents of many bytemuck functions☆14Jan 13, 2024Updated 2 years ago
- C for Metal (CM) is a general GPU programming language that allows users to achieve close-to-assembly performance on Intel Processor Grap…☆16May 3, 2024Updated 2 years ago
- make your framework hinge rusty (wow it's also written in rust too)☆57Jul 30, 2026Updated 2 months ago
- No more "Load more"! >:3☆26Oct 27, 2024Updated last year
- Fine-grained reactive framework for Bevy☆23Sep 18, 2026Updated last month
- 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.
- Ziggidy *nix system info fetcher. WIP.☆28Apr 29, 2025Updated last year
- Ergonomic multi-line string literals☆57Mar 2, 2026Updated 7 months ago
- Standard ML Infrastructure for writing LSP servers☆15Aug 19, 2026Updated 2 months ago
- A p2p music streaming website☆10Oct 29, 2018Updated 7 years ago
- Asynchronous pipelines of contiguous data, for rust.☆18Oct 9, 2023Updated 3 years ago
- Actor framework for Tokio☆33Aug 23, 2026Updated last month
- ☆370Sep 8, 2026Updated last month