lsd-ucsc / ChoRusLinks
🎶 Choreographic programming in Rust 🎶
☆57Updated 2 months ago
Alternatives and similar repositories for ChoRus
Users that are interested in ChoRus are comparing it to the libraries listed below
Sorting:
- Stack safe and expressive recursion in Rust☆98Updated 4 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- exhaustive testing library☆63Updated 10 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- Data-driven tests on stable Rust☆39Updated this week
- Session types for asynchronous communication between multiple parties.☆41Updated 10 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Choose Rust types at compile-time via constants☆65Updated last year
- lens implemented in rust☆115Updated last year
- Procedural macro to easily write higher-order strategies in proptest.☆46Updated 2 weeks ago
- Typed index version of Rust slice and Vec containers☆69Updated 3 weeks ago
- Functional lens library for Rust☆107Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- We have Crater At Home☆34Updated 7 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- A memory efficient syntax tree for language developers☆60Updated last week
- ☆46Updated 4 years ago
- Propositional logic with types in Rust☆62Updated last year
- Exploring the "expression problem" in Rust☆49Updated 2 years ago
- Build a rustc sysroot with custom flags☆17Updated 2 weeks ago
- A library for generating Graphviz DOT language files for graphs.☆75Updated 2 months ago
- Proc macro derive to generate structs from enum variants.☆29Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Seamless Higher-Kinded Types in Rust☆83Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆113Updated 10 months ago
- Simple refinement types for Rust; parse, don't validate!☆74Updated last month
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A simple, id-based arena☆119Updated last year