Session types for asynchronous communication between multiple parties.
☆44Jul 9, 2024Updated 2 years ago
Alternatives and similar repositories for rumpsteak
Users that are interested in rumpsteak are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆13Updated this week
- Rust cli tool for running multiple commands in parallel☆22Oct 21, 2024Updated last year
- ☆580Jan 31, 2023Updated 3 years ago
- Session Type EDSL for Rust☆108Jun 29, 2022Updated 4 years ago
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆29Aug 12, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An implementation of ext2 filesystem in Rust☆15Oct 8, 2021Updated 4 years ago
- Macro for sealing traits and structures☆62Jul 22, 2026Updated 3 weeks ago
- Asynchronous Session Types library☆15Mar 31, 2022Updated 4 years ago
- ☆21Dec 5, 2023Updated 2 years ago
- vim plugin that support doing CRs and MRs in gitlab☆12May 30, 2020Updated 6 years ago
- Asynchronous Software Transactional Memory library for Rust☆28May 9, 2024Updated 2 years ago
- A Gradle plugin for streamlined publishing on Maven Central☆39Aug 12, 2026Updated last week
- Build a rustc sysroot with custom flags☆23Apr 26, 2026Updated 3 months ago
- IPFS-WebDAV is a daemon that uses IPFS HTTP RPC and exposes WebDAV☆14Apr 27, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- General Use Timeseries Containers for Rust☆11Dec 31, 2020Updated 5 years ago
- Comparing Rust crate function speeds☆16Jan 11, 2019Updated 7 years ago
- Rust powered flash programmer and on chip debugger for embedded devices☆13Dec 1, 2019Updated 6 years ago
- ☆18Aug 19, 2024Updated 2 years ago
- Hazard pointer based concurrent memory reclamation for Rust.☆32Apr 20, 2020Updated 6 years ago
- Raw bindings to the BlueZ Linux Bluetooth library for Rust☆16Feb 7, 2023Updated 3 years ago
- An asynchronous HTTP client library for Rust☆13Feb 19, 2017Updated 9 years ago
- This repo covers the first chapter from the tutorial teaching Rust smart contract development on NEAR☆15Jun 25, 2024Updated 2 years ago
- Gradle plugin for Hugo static site generator☆14Aug 1, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Transport-polymorphic, asynchronous session types for Rust☆64Oct 19, 2022Updated 3 years ago
- Static keys for Rust userland applications☆70Oct 10, 2025Updated 10 months ago
- Convert JSON schemas into Nickel contracts☆40Jul 7, 2026Updated last month
- ☆13Feb 28, 2022Updated 4 years ago
- easy process grep with ps output☆16Nov 1, 2018Updated 7 years ago
- Typesafe client-server communication☆13Jul 19, 2025Updated last year
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 years ago
- Dockerizing the quicklisp dist build process☆10Jan 3, 2019Updated 7 years ago
- RPi Pico SDK and code demos in Rust.☆17Feb 2, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A thread-safe Rust LFU cache which supports a custom eviction policy☆35Jan 23, 2023Updated 3 years ago
- sbt plugin for monitoring Scala.js artifact size☆14Dec 27, 2024Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jun 8, 2026Updated 2 months ago
- Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions☆39Jun 5, 2026Updated 2 months ago
- 面向开发者的 Prompt Engineering 教程(ChatGPT Prompt Engineering for Developers)☆16May 3, 2023Updated 3 years ago
- ☆22Jul 3, 2018Updated 8 years ago
- Proof of concept ranged integers in Rust.☆71Aug 10, 2026Updated last week