Actyx / cambria
☆35Updated 3 years ago
Related projects: ⓘ
- An ORC reader for Rust☆12Updated last year
- Base library for Rüstigraben☆18Updated 3 years ago
- Json ast / parser / printer for unison☆10Updated 4 years ago
- Rust vectors with type level size☆24Updated 3 years ago
- ☆54Updated 4 years ago
- Datalog with equality for rust☆49Updated 5 months ago
- ☆68Updated 2 years ago
- Provides a Refl encoding in Rust☆67Updated last year
- ☆13Updated this week
- a capability-based system☆40Updated 6 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- ☆38Updated 2 years ago
- ☆18Updated last month
- A Framework for building Distributed Consensus Protocols☆10Updated 6 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 6 years ago
- Multiparty Session Types toolKit☆15Updated 5 years ago
- A library for deadlock-free session-typed communication in Rust.☆44Updated 3 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- Fungi: Typed incremental computation with names☆66Updated 4 years ago
- RRB-Trees: Efficient Immutable Vectors☆49Updated 11 years ago
- Finite state machines as graphs☆58Updated 4 years ago
- A Conflict-Free Replicated JSON Datatype for Haskell☆33Updated 6 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 6 months ago
- Purely Functional Data Structures in Rust☆41Updated 8 years ago
- State machines in Idris☆36Updated 7 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆42Updated 8 years ago
- Session Type EDSL for Rust☆97Updated 2 years ago
- Actor library for Rust☆25Updated 2 months ago
- Strongly typed routes for Rust☆35Updated 3 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago