Alternatives and similar repositories for async-session-types-rs

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

• NicolasLagaillardie / mpst_rust_github

  View on GitHub
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Sep 18, 2024Updated last year
• kennytm / parse-size

  View on GitHub
  Parse byte size into integer accurately.
  ☆31Sep 17, 2024Updated last year
• jlebon / git-bstatus

  View on GitHub
  Like `git status` for your branches!
  ☆12Jul 29, 2022Updated 3 years ago
• harshkava / FINRA-TRADE-DATA-SCRAPING

  View on GitHub
  This repository has code to scrape FINRA Trade data
  ☆10Oct 15, 2019Updated 6 years ago
• AvivC / genericfuncs

  View on GitHub
  Dynamic dispatch over arbitrary predicates
  ☆10Feb 2, 2016Updated 10 years ago
• madskjeldgaard / workshop-materials-3d-music-supercollider

  View on GitHub
  Workshop material: Composing 3D music using SuperCollider and ambisonics
  ☆11Oct 1, 2022Updated 3 years ago
• renatillas / g18n

  View on GitHub
  A platform-agnostic internationalization library for Gleam
  ☆21Dec 7, 2025Updated 2 months ago
• sunfishcode / eyra-c

  View on GitHub
  Support for compiling C programs with Eyra
  ☆15Oct 13, 2024Updated last year
• selfdual-brain / phouka

  View on GitHub
  Proof-of-stake blockchain consensus simulator
  ☆10Oct 19, 2021Updated 4 years ago
• KPN-CISO / pq-wg-theory

  View on GitHub
  Post-quantum Wireguard (Theory)
  ☆12Sep 9, 2020Updated 5 years ago
• ram6ler / dart-trotter

  View on GitHub
  A dart library that simplifies working with meta-arrangements commonly encountered in combinatorics such as arrangements of combinations …
  ☆12Jul 20, 2025Updated 6 months ago
• AviCraimer / relational-calculus-library-lean4

  View on GitHub
  ☆12Mar 4, 2025Updated 11 months ago
• renatoathaydes / dartle

  View on GitHub
  A simple build system written in Dart.
  ☆14Jan 27, 2026Updated 2 weeks ago
• tijn / pause-night-light

  View on GitHub
  Pause Gnome Night Light for 10 seconds
  ☆10Apr 30, 2021Updated 4 years ago
• taylordotfish / btree-vec

  View on GitHub
  A growable array (vector) implemented as a B-tree
  ☆13Jun 14, 2025Updated 8 months ago
• brechtm / forkgit

  View on GitHub
  Interact with remote git checkouts using Fork, and more!
  ☆11Oct 22, 2024Updated last year
• JonathanWoollett-Light / clippy-tracing

  View on GitHub
  A tool to add, remove and check for `tracing::instrument` in large projects where it is infeasible to manually add it to thousands of fun…
  ☆14Oct 13, 2023Updated 2 years ago
• ReagentX / crabstep

  View on GitHub
  A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
  ☆22Aug 29, 2025Updated 5 months ago
• filiph / benchmarkhor

  View on GitHub
  Benchmark comparison tool.
  ☆11Mar 18, 2025Updated 10 months ago
• LucentFlux / perfect-derive

  View on GitHub
  Adds derive macros for better bounds on generated Copy, Debug, etc. implementations
  ☆12Nov 27, 2024Updated last year
• horvathtamasattila / NavigationComposer

  View on GitHub
  A SwiftUI view which makes it possible to use an alternative, customizable implementations of basic navigation types.
  ☆12Nov 28, 2021Updated 4 years ago
• firecracker-microvm / versionize

  View on GitHub
  Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast …
  ☆61Jan 2, 2024Updated 2 years ago
• frozenlib / test-strategy

  View on GitHub
  Procedural macro to easily write higher-order strategies in proptest.
  ☆48Jan 26, 2026Updated 2 weeks ago
• tgrospic / rholang-idea

  View on GitHub
  Rholang plugin for the IntelliJ Platform
  ☆11Sep 18, 2018Updated 7 years ago
• NXRSE / bank-ios

  View on GitHub
  iOS client for banking infrastructure
  ☆11Jun 24, 2016Updated 9 years ago
• robb-j / nova-xml

  View on GitHub
  Adds XML linting, schema support and formatting to Nova
  ☆11Oct 19, 2025Updated 3 months ago
• puetzp / prometheus-http-query

  View on GitHub
  Prometheus HTTP API client
  ☆18Jan 24, 2026Updated 2 weeks ago
• bonsairobo / height-mesh-rs

  View on GitHub
  A small crate to generate a 3D mesh from a 2D heightmap.
  ☆16Dec 11, 2022Updated 3 years ago
• bpowers / rust-envoy-control-plane

  View on GitHub
  Envoy xDS APIs for Rust
  ☆12Jun 6, 2024Updated last year
• SomewhatML / match-compile

  View on GitHub
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Jul 29, 2020Updated 5 years ago
• taiki-e / iter-enum

  View on GitHub
  #[derive(Iterator, DoubleEndedIterator, ExactSizeIterator, FusedIterator, Extend)] for enums.
  ☆15Updated this week
• wc3tools / stormlib-rs

  View on GitHub
  Safe StormLib bindings for Rust
  ☆11Jun 9, 2024Updated last year
• eth-experiments / eip-4430-sol

  View on GitHub
  EIP-4430 Smart Contract Prototype
  ☆10Jun 13, 2022Updated 3 years ago
• lolmaus / ember-dialogs

  View on GitHub
  Customizable implementation of `alert`, `confirm` and `prompt` modal dialogs with straightforward API
  ☆12Jun 26, 2018Updated 7 years ago
• processing / libprocessing

  View on GitHub
  An experimental implementation of the Processing API in Rust
  ☆26Feb 4, 2026Updated last week
• matthew-carroll / device_sizes

  View on GitHub
  Collects screen sizes and pixel densities for real iPhones, iPads, Google phones, Samsung phones, and more.
  ☆19Nov 26, 2021Updated 4 years ago
• mattt / vscode-unicorn

  View on GitHub
  🦄💬 A Visual Studio Code extension that adds a status bar entry showing Unicode data for the currently selected character.
  ☆16Nov 2, 2020Updated 5 years ago
• dotWee / macOS-SourceListSidebarExample

  View on GitHub
  Example Swift 4.2 implementation of the Sidebar Use Case using NSOutlineView with CoreData, RxSwift and the whole layout aligned at Apple…
  ☆12Jun 21, 2020Updated 5 years ago
• rubygems / heroku-buildpack-bundler2

  View on GitHub
  Heroku's Ruby Buildpack
  ☆14Aug 4, 2021Updated 4 years ago