Alternatives and similar repositories for session-types:

Users that are interested in session-types are comparing it to the libraries listed below

• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆219Updated 5 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆813Updated 3 years ago
• google / rerast
  A tool for transforming Rust code using rules
  ☆711Updated last year
• doctorn / trait-eval
  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
  ☆366Updated 4 years ago
• edef1c / libfringe
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆518Updated 3 years ago
• alex-shapiro / ditto
  CRDTs for common data structures like maps, vecs, sets, text, and JSON
  ☆475Updated 6 years ago
• withoutboats / fehler
  Rust doesn't have exceptions
  ☆630Updated 4 years ago
• rustasync / runtime
  Empowering everyone to build asynchronous software
  ☆859Updated 5 years ago
• dtolnay / watt
  Runtime for executing procedural macros as WebAssembly
  ☆1,362Updated 2 weeks ago
• Marwes / combine
  A parser combinator library for Rust
  ☆1,314Updated last month
• rust-lang-deprecated / error-chain
  Error boilerplate for Rust
  ☆728Updated 3 years ago
• ringbahn / ringbahn
  safe bindings to io-uring
  ☆663Updated 3 years ago
• interact-rs / interact
  Online introspection for Rust
  ☆417Updated 2 years ago
• llogiq / mutagen
  Breaking your Rust code for fun and profit
  ☆630Updated last year
• dtolnay / semver-trick
  How to avoid complicated coordinated upgrades
  ☆515Updated last month
• pikkr / pikkr
  JSON parser which picks up values directly without performing tokenization in Rust
  ☆633Updated 7 years ago
• kurtlawrence / papyrus
  (Rust) repl
  ☆440Updated 3 years ago
• bodil / im-rs
  Assorted immutable collection datatypes for Rust
  ☆1,517Updated 7 months ago
• J-F-Liu / pom
  PEG parser combinators using operator overloading without macros.
  ☆510Updated last month
• lloydmeta / frunk
  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
  ☆1,324Updated 2 weeks ago
• fitzgen / state_machine_future
  Easily create type-safe `Future`s from state machines — without the boilerplate.
  ☆330Updated 5 years ago
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,899Updated last week
• rust-lang-deprecated / failure
  Error management
  ☆1,422Updated 4 years ago
• mtak- / swym
  Efficient transactional memory in rust.
  ☆211Updated 3 years ago
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆217Updated 5 years ago
• alexcrichton / futures-await
  ☆735Updated 5 years ago
• iqlusioninc / abscissa
  Application microframework with command-line option parsing, configuration, error handling, logging, and shell interactions
  ☆579Updated this week
• AdamNiederer / faster
  SIMD for humans
  ☆1,573Updated last year
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,264Updated this week
• withoutboats / shifgrethor
  garbage collection
  ☆321Updated 5 years ago