Alternatives and similar repositories for session-types

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

• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆835Updated 3 years ago
• alex-shapiro / ditto
  CRDTs for common data structures like maps, vecs, sets, text, and JSON
  ☆480Updated 6 years ago
• cofibrant / trait-eval
  We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???
  ☆372Updated 4 years ago
• edef1c / libfringe
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆524Updated 4 years ago
• google / rerast
  A tool for transforming Rust code using rules
  ☆715Updated 2 years ago
• kurtlawrence / papyrus
  (Rust) repl
  ☆442Updated 3 years ago
• anelson / tracers
  Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc
  ☆221Updated 5 years ago
• interact-rs / interact
  Online introspection for Rust
  ☆419Updated 3 years ago
• withoutboats / fehler
  Rust doesn't have exceptions
  ☆633Updated 5 years ago
• bodil / im-rs
  Assorted immutable collection datatypes for Rust
  ☆1,543Updated last year
• mtak- / swym
  Efficient transactional memory in rust.
  ☆210Updated 4 years ago
• fitzgen / state_machine_future
  Easily create type-safe `Future`s from state machines — without the boilerplate.
  ☆333Updated 6 years ago
• alexcrichton / coz-rs
  Rust support for the coz Causal profiler, code now lives upstream -- https://github.com/plasma-umass/coz
  ☆218Updated 5 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,054Updated 8 years ago
• llogiq / mutagen
  Breaking your Rust code for fun and profit
  ☆638Updated 2 years ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆477Updated last year
• Adapton / adapton.rust
  General-purpose abstractions for incremental computing, in Rust
  ☆356Updated 3 years ago
• Marthog / rust-stm
  Software transactional memory
  ☆265Updated 3 years ago
• ringbahn / ringbahn
  safe bindings to io-uring
  ☆673Updated 4 years ago
• rustasync / runtime
  Empowering everyone to build asynchronous software
  ☆857Updated 5 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆334Updated 2 years ago
• lukaslueg / macro_railroad
  A library to generate syntax diagrams for Rust macros.
  ☆556Updated last year
• pikkr / pikkr
  JSON parser which picks up values directly without performing tokenization in Rust
  ☆635Updated 7 years ago
• blt / bughunt-rust
  QuickCheck bug hunting in Rust standard library data structures
  ☆162Updated 6 years ago
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆336Updated 8 years ago
• dtolnay / semver-trick
  How to avoid complicated coordinated upgrades
  ☆531Updated 7 months ago
• withoutboats / shifgrethor
  garbage collection
  ☆323Updated 6 years ago
• paholg / typenum
  Compile time numbers in Rust.
  ☆557Updated 2 months ago
• lloydmeta / frunk
  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
  ☆1,372Updated 2 months ago
• mre / cargo-inspect
  Pssst!... see what Rust is doing behind the curtains 🕵🤫
  ☆381Updated 2 years ago