Session types for asynchronous communication between multiple parties.
☆42Jul 9, 2024Updated last year
Alternatives and similar repositories for rumpsteak
Users that are interested in rumpsteak are comparing it to the libraries listed below
Sorting:
- Rust cli tool for running multiple commands in parallel☆21Oct 21, 2024Updated last year
- An implementation of ext2 filesystem in Rust☆15Oct 8, 2021Updated 4 years ago
- Hazard pointer based concurrent memory reclamation for Rust.☆31Apr 20, 2020Updated 5 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- 面向开发者的 Prompt Engineering 教程(ChatGPT Prompt Engineering for Developers)☆16May 3, 2023Updated 2 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Raw bindings to the BlueZ Linux Bluetooth library for Rust☆16Feb 7, 2023Updated 3 years ago
- Session Type EDSL for Rust☆103Jun 29, 2022Updated 3 years ago
- A brief example to adapt TM1637 8-char digit display module with STM32F103 using embedded Rust☆15Feb 23, 2020Updated 6 years ago
- Rust powered flash programmer and on chip debugger for embedded devices☆13Dec 1, 2019Updated 6 years ago
- Multiparty Session Types toolKit☆15May 7, 2025Updated 10 months ago
- RPi Pico SDK and code demos in Rust.☆17Feb 2, 2021Updated 5 years ago
- A library for deadlock-free session-typed communication in Rust.☆49Feb 17, 2021Updated 5 years ago
- Brick Game car racing clone in Bevy☆17Jul 10, 2023Updated 2 years ago
- Tool for compiling Lean to WASM☆24Mar 17, 2024Updated last year
- wasmy, easily customize my wasm app!☆23Sep 14, 2022Updated 3 years ago
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆28Feb 27, 2026Updated last week
- Examples inspired by 'Nature of Code' in Bevy 3D and Rust☆26May 11, 2025Updated 9 months ago
- Macro for sealing traits and structures☆61Dec 2, 2024Updated last year
- std::simd implementation of BLAKE3☆24Dec 10, 2023Updated 2 years ago
- [Experiment] JNeT: japaric's network thingies☆28Nov 17, 2019Updated 6 years ago
- ☆26May 22, 2022Updated 3 years ago
- A safe tree using an arena allocator that allows deletion without suffering from the ABA problem by using generational indices. https://d…☆32Nov 30, 2018Updated 7 years ago
- Runtime dependency injection library for Rust☆29Jan 3, 2026Updated 2 months ago
- HoTT in Japanese☆36Oct 1, 2023Updated 2 years ago
- Monitor windows kernel event, based on etw, development in rust. A replacement of procmon. more events and useful filter. Typically can c…☆30Oct 22, 2025Updated 4 months ago
- Web base text editor written in rust☆64Nov 17, 2024Updated last year
- A wrapper type for cross-type numeric comparisons.☆27Dec 7, 2022Updated 3 years ago
- Cast between dynamic trait objects☆34Jan 14, 2020Updated 6 years ago
- All public report slides, articles and meeting minutes related to RustSBI☆29Dec 14, 2025Updated 2 months ago
- E-paper display driver for Rust☆33May 29, 2024Updated last year
- N-dimensional interpolation methods in Rust and Python, no-std compatible☆61Jan 16, 2026Updated last month
- A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.☆45Jan 22, 2026Updated last month
- A Rust library for processing application configuration easily☆69Sep 12, 2024Updated last year
- A minimum preemptive OS on Cortex-M3 (specially on blue-pill board) written in Rust.☆34Jul 25, 2019Updated 6 years ago
- Unbuffered and unlocked I/O streams☆45Mar 7, 2025Updated last year
- 🍥 Access the rust playground right in your terminal☆37Oct 31, 2024Updated last year
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Dec 13, 2018Updated 7 years ago
- ☆79Aug 9, 2024Updated last year