fosskers / nonempty-collections
Correct-by-construction non-empty collections.
☆15Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for nonempty-collections
- A golden file testing library for rust☆32Updated 2 weeks ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- The cumulative sibling of `Result` and `Either`.☆20Updated 7 months ago
- tom: a format-preserving TOML parser in Rust☆38Updated 2 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- Experimental type level programming in Rust☆38Updated 3 years ago
- A syntactic "for" loop Rust macro☆56Updated last year
- A library for creating and using anonymous sum types as errors in Rust☆18Updated 4 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆74Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆46Updated 2 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆26Updated last week
- Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.☆19Updated this week
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Session types for asynchronous communication between multiple parties.☆40Updated 4 months ago
- Checksum of a directory tree☆45Updated 2 weeks ago
- ☆32Updated 2 years ago
- Helper macros: autoimpl, impl_scope☆59Updated last month
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Provides TestResult type for concise and precise test failures☆62Updated 4 months ago
- A rust proc-macro to generate conversions for an enum of newtype variants☆28Updated last year
- Unified diff parsing/metadata extraction library for Rust☆25Updated 8 months ago
- Macro-rules-style syntax matching for procedural macros☆51Updated last year
- Correct by construction non-empty list☆56Updated last week
- 💾 Binary crates cache for @actions-rs/install Action☆15Updated 3 years ago
- Concurrent cross-platform terminal interface☆18Updated last year
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Provides a Refl encoding in Rust☆68Updated last year
- A rust library to hide types inside a diplomatic bag which can be sent between threads freely☆14Updated 2 years ago
- A Rust API search engine☆26Updated 3 years ago