Convenient creation of type-safe refinement types.
☆22Jul 30, 2024Updated 2 years ago
Alternatives and similar repositories for refinement
Users that are interested in refinement are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 7 years ago
- The official engine source code for Project ORKA☆10Nov 25, 2024Updated last year
- Fast geolocation library for Pandas dataframes written in Rust☆11Feb 7, 2023Updated 3 years ago
- Experimental type level programming in Rust☆43Jul 19, 2021Updated 5 years ago
- A Rust library for checking the intersection of two lines, rays, or line segments☆16Jun 25, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Transitive derive macros for Rust☆35Jun 6, 2025Updated last year
- ☆11Jan 4, 2023Updated 3 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Sep 14, 2021Updated 5 years ago
- Replacement for GNU Bintuils, written in Rust☆12Oct 5, 2024Updated 2 years ago
- Generic SIMD abstractions for Rust.☆45Nov 18, 2022Updated 3 years ago
- Simple parsers for binary data in Rust☆12Feb 13, 2022Updated 4 years ago
- Rust declarative static analysis with macro-like syntax☆16Oct 8, 2018Updated 8 years ago
- CO2GraVISim is a reduced physics model of the flow of CO2 injected into a porous reservoir☆13Mar 25, 2025Updated last year
- Write simple proc-macros inline with other source code.☆21Nov 24, 2024Updated last year
- 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.
- Engage!☆11Aug 12, 2023Updated 3 years ago
- composable validation functions for custom types☆14Jun 11, 2025Updated last year
- Renders interactive fractal-like animations☆19May 16, 2017Updated 9 years ago
- Safe, intrusive doubly-linked lists for Rust☆18Feb 22, 2015Updated 11 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆16May 27, 2021Updated 5 years ago
- Rate-limit middleware for reqwest.☆19Feb 9, 2026Updated 8 months ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 7 years ago
- `NonEmpty` library vector for rust☆21Apr 8, 2026Updated 6 months ago
- Rust crate for displaying in different formats☆14Nov 20, 2022Updated 3 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.
- Bounded integers for Rust☆45Oct 16, 2026Updated last week
- Minimal startup / runtime for MSP430 microcontrollers☆18Oct 17, 2026Updated last week
- [UNMAINTAINED] HMAC-SHA512 implementation optimized for embedded devices☆15May 28, 2019Updated 7 years ago
- Eterna game/RNA design interface☆12Oct 21, 2026Updated last week
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆41Dec 13, 2018Updated 7 years ago
- Lending iterators on stable Rust☆88Jan 12, 2024Updated 2 years ago
- 🥧 Generates classic British dishes☆13Dec 27, 2022Updated 3 years ago
- Compilation of my own bootloader, kernel, libc, and userspace programs, all in x86-64☆18Apr 21, 2023Updated 3 years ago
- Multi-Dimensional Analog Literals in Rust☆15May 24, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Small course in python in russian for first year students of DPPE MIPT | CC BY-SA 4.0☆11Sep 19, 2020Updated 6 years ago
- enforce representation/class invariants in your Rust data structures☆12Feb 11, 2023Updated 3 years ago
- JSON Schema validator Action☆20Aug 19, 2026Updated 2 months ago
- simplified rust error handling☆10Mar 31, 2025Updated last year
- 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 7 years ago
- A Static Electric Field Visualizer☆18May 29, 2018Updated 8 years ago