lsd-ucsc / ChoRus
๐ถ Choreographic programming in Rust ๐ถ
โ39Updated last week
Related projects โ
Alternatives and complementary repositories for ChoRus
- Session Type EDSL for Rustโ100Updated 2 years ago
- Stack safe and expressive recursion in Rustโ90Updated last month
- Liquid Types implementation for Rustโ26Updated 2 years ago
- Define compiler intermediate representation usable by external toolsโ60Updated 4 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.โ51Updated last month
- Type-level named values with partial dependent type support in Rustโ55Updated 2 years ago
- โ43Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rustโ23Updated 6 months ago
- Experimental type level programming in Rustโ38Updated 3 years ago
- Functional lens library for Rustโ104Updated 3 years ago
- Exploring the "expression problem" in Rustโ46Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.โ46Updated 3 years ago
- โ11Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.โ95Updated last year
- Session types for asynchronous communication between multiple parties.โ39Updated 4 months ago
- โ โ session types for Rustโ74Updated last month
- โ22Updated 2 years ago
- Lift enum variants to the type-level.โ30Updated 3 years ago
- Choose Rust types at compile-time via constantsโ61Updated 9 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rustโ75Updated this week
- Transport-polymorphic, asynchronous session types for Rustโ60Updated 2 years ago
- An interface for writing a RustTypeChecker.โ42Updated last year
- LR-style Parser Generatorโ16Updated 3 weeks ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.โ30Updated 5 years ago
- Datalog with equality for rustโ55Updated 2 weeks ago
- SAW front end for the MIR language from rustcโ36Updated 3 years ago
- A different approach to an E-graph libraryโ22Updated last month
- The Haskellโs do notation brought to Rustโ55Updated 2 years ago
- A Hindley-Milner polymorphic typing systemโ55Updated 10 months ago
- exhaustive testing libraryโ58Updated 3 months ago