Asynchronous Session Types library
☆14Mar 31, 2022Updated 3 years ago
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
Sorting:
- A library for deadlock-free multiparty session-typed communication in Rust.☆31Sep 18, 2024Updated last year
- Parse byte size into integer accurately.☆31Sep 17, 2024Updated last year
- Dynamic dispatch over arbitrary predicates☆10Feb 2, 2016Updated 10 years ago
- This repository has code to scrape FINRA Trade data☆10Oct 15, 2019Updated 6 years ago
- Like `git status` for your branches!☆12Jul 29, 2022Updated 3 years ago
- Interact with remote git checkouts using Fork, and more!☆12Oct 22, 2024Updated last year
- A growable array (vector) implemented as a B-tree☆13Jun 14, 2025Updated 8 months ago
- A dart library that simplifies working with meta-arrangements commonly encountered in combinatorics such as arrangements of combinations …☆12Jul 20, 2025Updated 7 months ago
- Benchmark comparison tool.☆11Mar 18, 2025Updated 11 months ago
- A platform-agnostic internationalization library for Gleam☆23Dec 7, 2025Updated 2 months ago
- A SwiftUI view which makes it possible to use an alternative, customizable implementations of basic navigation types.☆12Nov 28, 2021Updated 4 years ago
- Adds derive macros for better bounds on generated Copy, Debug, etc. implementations☆12Nov 27, 2024Updated last year
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 3 years ago
- Proof-of-stake blockchain consensus simulator☆10Oct 19, 2021Updated 4 years ago
- A simple build system written in Dart.☆14Jan 27, 2026Updated last month
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago
- Pause Gnome Night Light for 10 seconds☆10Apr 30, 2021Updated 4 years ago
- A one to one address mapping program for tranlation from IPv4 packets to IPv6 packets and vice versa.☆17Oct 7, 2020Updated 5 years ago
- 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
- ☆12Mar 4, 2025Updated last year
- A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer☆23Aug 29, 2025Updated 6 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆48Feb 11, 2026Updated 3 weeks ago
- 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
- EIP-4430 Smart Contract Prototype☆10Jun 13, 2022Updated 3 years ago
- Collects screen sizes and pixel densities for real iPhones, iPads, Google phones, Samsung phones, and more.☆19Nov 26, 2021Updated 4 years ago
- iOS client for banking infrastructure☆11Jun 24, 2016Updated 9 years ago
- Safe StormLib bindings for Rust☆12Jun 9, 2024Updated last year
- Rholang plugin for the IntelliJ Platform☆11Sep 18, 2018Updated 7 years ago
- Adds XML linting, schema support and formatting to Nova☆11Updated this week
- Customizable implementation of `alert`, `confirm` and `prompt` modal dialogs with straightforward API☆12Jun 26, 2018Updated 7 years ago
- Prometheus HTTP API client☆18Jan 24, 2026Updated last month
- A small crate to generate a 3D mesh from a 2D heightmap.☆16Dec 11, 2022Updated 3 years ago
- #[derive(Iterator, DoubleEndedIterator, ExactSizeIterator, FusedIterator, Extend)] for enums.☆15Updated this week
- Envoy xDS APIs for Rust☆12Jun 6, 2024Updated last year
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- ZPAQ's complete code history mirror☆16Aug 4, 2015Updated 10 years ago
- A prototype notation for referentially stable constructors☆17Jul 15, 2025Updated 7 months ago
- 🦄💬 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