TOETOE55 / lens-rsLinks
lens implemented in rust
☆115Updated 2 years ago
Alternatives and similar repositories for lens-rs
Users that are interested in lens-rs are comparing it to the libraries listed below
Sorting:
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- Typed index version of Rust slice and Vec containers☆69Updated 3 weeks ago
- Stack safe and expressive recursion in Rust☆98Updated 4 months ago
- Functional lens library for Rust☆107Updated 4 years ago
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- ☆46Updated 4 years ago
- Rust Code Reading Clubs☆141Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- 🎶 Choreographic programming in Rust 🎶☆57Updated 2 months ago
- A memory efficient syntax tree for language developers☆60Updated last week
- Proc macro derive to generate structs from enum variants.☆29Updated last year
- Eventually consistent values for Rust☆125Updated 2 years ago
- Proc-macro typestate DSL for Rust☆149Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆183Updated 4 years ago
- Wadler-style pretty-printing combinators in Rust☆158Updated 2 months ago
- A Rust API search engine☆26Updated 3 years ago
- Data-driven tests on stable Rust☆39Updated this week
- Choose Rust types at compile-time via constants☆65Updated last year
- A simple, id-based arena☆119Updated last year
- Blazing fast immutable collection datatypes for Rust.☆104Updated this week
- Async fundamentals initiative: portable and interoperable☆76Updated 2 years ago
- An ordered multimap.☆21Updated 6 months ago
- The Haskell’s do notation brought to Rust☆61Updated 3 years ago
- Fork of std::Arc with lots of utilities useful for FFI☆234Updated 3 weeks ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.☆144Updated 10 months ago