TOETOE55 / lens-rs
lens implemented in rust
☆111Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lens-rs
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Stack safe and expressive recursion in Rust☆91Updated last month
- Seamless Higher-Kinded Types in Rust☆74Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- ☆43Updated 3 years ago
- A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.☆39Updated 2 years ago
- A simple, id-based arena☆115Updated last year
- Functional lens library for Rust☆104Updated 3 years ago
- Typed index version of Rust slice and Vec containers☆66Updated last month
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆180Updated 3 years ago
- Wadler-style pretty-printing combinators in Rust☆143Updated last year
- Const equivalents of std functions, compile-time comparison, and parsing.☆88Updated this week
- Anonymous struct and named arguments in Rust.☆67Updated 10 months ago
- Proc-macro typestate DSL for Rust☆142Updated last year
- Utility wrapper to send non send types to other threads safely☆168Updated 10 months ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- The Haskell’s do notation brought to Rust☆55Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆107Updated 4 months ago
- This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.☆131Updated 3 months ago
- A Rust API search engine☆26Updated 3 years ago
- Choose Rust types at compile-time via constants☆62Updated 10 months ago
- Partial function application macro for Rust☆47Updated 4 years ago
- Async stream for Rust and the futures crate.☆176Updated this week
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Rust Code Reading Clubs☆142Updated 3 years ago
- Your favourite Haskell type classes for Rust☆219Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆228Updated 4 months ago
- Propositional logic with types in Rust☆60Updated last year
- Fork of std::Arc with lots of utilities useful for FFI☆216Updated last month
- A memory efficient syntax tree for language developers☆51Updated 2 months ago