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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- Rust cli tool for running multiple commands in parallel☆21Oct 21, 2024Updated last year
- Definitions from the Virtual I/O Device (VIRTIO) specification.☆28Feb 27, 2026Updated last month
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- ☆579Jan 31, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated 2 months ago
- Macro for sealing traits and structures☆61Dec 2, 2024Updated last year
- HoTT in Japanese☆36Oct 1, 2023Updated 2 years ago
- Build a rustc sysroot with custom flags☆19Oct 24, 2025Updated 5 months ago
- ☆18Nov 29, 2021Updated 4 years ago
- GC statistics for Racket☆12Feb 2, 2026Updated last month
- IPFS-WebDAV is a daemon that uses IPFS HTTP RPC and exposes WebDAV☆13Apr 27, 2023Updated 2 years ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hazard pointer based concurrent memory reclamation for Rust.☆31Apr 20, 2020Updated 5 years ago
- General Use Timeseries Containers for Rust☆11Dec 31, 2020Updated 5 years ago
- Raw bindings to the BlueZ Linux Bluetooth library for Rust☆16Feb 7, 2023Updated 3 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- An asynchronous HTTP client library for Rust☆13Feb 19, 2017Updated 9 years ago
- Home of the operational semantics team, used primarily for procedural items☆20Jan 4, 2025Updated last year
- Static keys for Rust userland applications☆67Oct 10, 2025Updated 5 months ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 10 months ago
- Plush - the comfy shell☆67Aug 22, 2014Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Oct 8, 2019Updated 6 years ago
- reflection for rust programming☆16Aug 30, 2019Updated 6 years ago
- Simple Refinement types for F#. No longer maintained.☆11Jun 22, 2019Updated 6 years ago
- This is a common repository for the ABCD team to share use-cases of session types.☆15Feb 29, 2016Updated 10 years ago
- A thread-safe Rust LFU cache which supports a custom eviction policy☆34Jan 23, 2023Updated 3 years ago
- A shelter for stale branches from the previous repository of Doom2D Forever.☆10Jan 14, 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
- Dashboard for visualization of multi-projects resources in OpenShift☆15Jan 22, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The next generation Toddler, a well designed usable and portable microkernel OS☆16May 3, 2021Updated 4 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago
- [Experiment] JNeT: japaric's network thingies☆28Nov 17, 2019Updated 6 years ago
- A client to play MUDs (The ones I play :P), made in Pharo☆13Oct 30, 2018Updated 7 years ago
- pest grammar file support for all JetBrains IDEs☆37Apr 23, 2025Updated 11 months ago
- Automation for deploying OCP 3 and 4 environments with cluster application migration tool installed. This repo only contains prescriptiv…☆17Aug 5, 2024Updated last year
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago