lsd-ucsc / ChoRus
๐ถ Choreographic programming in Rust ๐ถ
โ39Updated last week
Related projects โ
Alternatives and complementary repositories for ChoRus
- A library for deadlock-free session-typed communication in Rust.โ46Updated 3 years ago
- Session types for asynchronous communication between multiple parties.โ40Updated 4 months ago
- Define compiler intermediate representation usable by external toolsโ62Updated 5 months ago
- Session Type EDSL for Rustโ101Updated 2 years 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โ23Updated 7 months ago
- โ43Updated 3 years ago
- Exploring the "expression problem" in Rustโ46Updated 2 years ago
- Liquid Types implementation for Rustโ26Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rustโ60Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.โ95Updated last year
- โ11Updated 3 weeks ago
- Type-level named values with partial dependent type support in Rustโ55Updated 2 years ago
- Functional lens library for Rustโ104Updated 3 years ago
- Stack safe and expressive recursion in Rustโ91Updated last month
- โ โ session types for Rustโ78Updated this week
- Datalog with equality for rustโ55Updated 3 weeks ago
- Lift enum variants to the type-level.โ31Updated 3 years ago
- Experimental type level programming in Rustโ38Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rustโ81Updated this week
- Alternative future adapters that provide cancel safety.โ59Updated this week
- โ22Updated 2 years ago
- lens implemented in rustโ111Updated last year
- Interface with the rustc compiler for the purpose of program verificationโ103Updated this week
- LR-style Parser Generatorโ17Updated last month
- The Haskellโs do notation brought to Rustโ55Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.โ97Updated last week
- Umbrella repository for Krabcake experimentsโ46Updated last year
- Propositional logic with types in Rustโ60Updated last year
- โ25Updated 5 months ago