Session types for asynchronous communication between multiple parties.
☆43Jul 9, 2024Updated last year
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:
- A library for deadlock-free session-typed communication in Rust.☆50Feb 17, 2021Updated 5 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆28Feb 27, 2026Updated 3 months ago
- ☆582Jan 31, 2023Updated 3 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 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.
- Get the size of the attached terminal in OCaml☆15Apr 26, 2022Updated 4 years ago
- 第五周：连锁闪电：构建高性能互联网应用☆14Mar 7, 2025Updated last year
- 11-14 周内容都在这个 repo☆13Nov 3, 2024Updated last year
- Asynchronous Session Types library☆15Mar 31, 2022Updated 4 years ago
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jun 11, 2026Updated last week
- An implementation of Linear Lambda Calculus.☆15Apr 16, 2020Updated 6 years ago
- Macro for sealing traits and structures☆62Dec 2, 2024Updated last year
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- HoTT in Japanese☆37Oct 1, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Asynchronous Software Transactional Memory library for Rust☆28May 9, 2024Updated 2 years ago
- IPFS-WebDAV is a daemon that uses IPFS HTTP RPC and exposes WebDAV☆14Apr 27, 2023Updated 3 years ago
- ☆16Aug 19, 2024Updated last year
- Rust powered flash programmer and on chip debugger for embedded devices☆13Dec 1, 2019Updated 6 years ago
- Comparing Rust crate function speeds☆16Jan 11, 2019Updated 7 years ago
- This repo covers the first chapter from the tutorial teaching Rust smart contract development on NEAR☆15Jun 25, 2024Updated last year
- General Use Timeseries Containers for Rust☆11Dec 31, 2020Updated 5 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Yet Another deep embedding of Linear Logic in Rocq☆16Apr 13, 2026Updated 2 months 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☆67Oct 10, 2025Updated 8 months ago
- A brief example to adapt TM1637 8-char digit display module with STM32F103 using embedded Rust☆15Feb 23, 2020Updated 6 years ago
- Rust DataStruct And Algorithm 用Rust语言实现常用的数据结构和算法☆15Mar 13, 2024Updated 2 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated last year
- reflection for rust programming☆16Aug 30, 2019Updated 6 years ago
- ☆18Jun 8, 2026Updated last week
- ☆13Feb 28, 2022Updated 4 years ago
- A thread-safe Rust LFU cache which supports a custom eviction policy☆35Jan 23, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- RPi Pico SDK and code demos in Rust.☆17Feb 2, 2021Updated 5 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 years ago
- The UI for Unison Share☆35Jun 1, 2026Updated 2 weeks ago
- Dockerizing the quicklisp dist build process☆10Jan 3, 2019Updated 7 years ago
- 面向开发者的 Prompt Engineering 教程(ChatGPT Prompt Engineering for Developers)☆16May 3, 2023Updated 3 years ago
- The Scribble language guide.☆17Oct 16, 2016Updated 9 years ago
- Proof of concept ranged integers in Rust.☆68Feb 21, 2026Updated 3 months ago