zakcutner / rumpsteakView external linksLinks
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
- Raw bindings to the BlueZ Linux Bluetooth library for Rust☆16Feb 7, 2023Updated 3 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
- Session Type EDSL for Rust☆103Jun 29, 2022Updated 3 years ago
- Rust powered flash programmer and on chip debugger for embedded devices☆13Dec 1, 2019Updated 6 years ago
- A brief example to adapt TM1637 8-char digit display module with STM32F103 using embedded Rust☆15Feb 23, 2020Updated 5 years ago
- Comparing Rust crate function speeds☆16Jan 11, 2019Updated 7 years ago
- Multiparty Session Types toolKit☆15May 7, 2025Updated 9 months ago
- RPi Pico SDK and code demos in Rust.☆17Feb 2, 2021Updated 5 years ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆15Jul 30, 2025Updated 6 months ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated last month
- Brick Game car racing clone in Bevy☆17Jul 10, 2023Updated 2 years ago
- Tool for compiling Lean to WASM☆24Mar 17, 2024Updated last year
- 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
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 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 last month
- Web base text editor written in rust☆64Nov 17, 2024Updated last year
- Cast between dynamic trait objects☆34Jan 14, 2020Updated 6 years ago
- A wrapper type for cross-type numeric comparisons.☆27Dec 7, 2022Updated 3 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- A Rust library for processing application configuration easily☆68Sep 12, 2024Updated last year
- A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.☆45Jan 22, 2026Updated 3 weeks ago
- Find out what platform your code is running on from Rust☆34Apr 13, 2022Updated 3 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Dec 13, 2018Updated 7 years ago
- Game physics in one weekend with bevy☆37Jan 7, 2026Updated last month
- ☆79Aug 9, 2024Updated last year
- Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions☆38Oct 6, 2025Updated 4 months ago
- A graphical tool for viewing stdout as a spreadsheet.☆10Sep 7, 2021Updated 4 years ago
- This Tutorial will help you to configure your linux firewall to prevent & protect your server against ddos attacks☆11Dec 13, 2023Updated 2 years ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- Fixes for Beyond Earth for Linux and Steam Deck☆12Dec 12, 2025Updated 2 months ago