Multiparty Session Types toolKit
☆15May 7, 2025Updated 9 months ago
Alternatives and similar repositories for mpstk
Users that are interested in mpstk are comparing it to the libraries listed below
Sorting:
- A library for deadlock-free session-typed communication in Rust.☆49Feb 17, 2021Updated 5 years ago
- Core components for the Scribble Java tools☆59Oct 3, 2024Updated last year
- Open-source textbook about CHERI capabilities, for a developer audience☆18May 29, 2025Updated 9 months ago
- Verified message-passing programs in Dotty☆49Apr 20, 2021Updated 4 years ago
- Session programming in Scala☆58Jun 17, 2021Updated 4 years ago
- Code for parsing out augmented packet header diagrams from IETF documents☆17Jan 8, 2026Updated last month
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated last month
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Feb 18, 2026Updated last week
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- Packages for CloudABI☆22Sep 12, 2020Updated 5 years ago
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 5 years ago
- ☆23Oct 8, 2025Updated 4 months ago
- Deprecated, please use the official docs at https://doc.rust-lang.org/nightly/nightly-rustc☆24Mar 19, 2019Updated 6 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Savina is an Actor Benchmark Suite.☆38Feb 10, 2021Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- KnowledgeGrapher is an open-source AI-powered tool that automatically generates interactive concept maps from educational content. By ext…☆14Jul 21, 2025Updated 7 months ago
- A reactive notebook for Haskell☆53Updated this week
- ☆10Nov 23, 2024Updated last year
- Example Cloud Foundry application for use with Pivotal Redis service☆11Jun 27, 2025Updated 8 months ago
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- ☆10Sep 1, 2016Updated 9 years ago
- A benchmark comparing web services made using Groovy, Vertx and vertx-redis-client vs Groovy, Spring Reactor and lettuce☆10Jun 27, 2018Updated 7 years ago
- Java chat example app☆11Mar 11, 2022Updated 3 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- High-performance Messaging System based on a gRPC protocol☆16Apr 27, 2021Updated 4 years ago
- A simple website introducing the CNAB project.☆16Jul 11, 2023Updated 2 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated 2 months ago
- ☆14Dec 2, 2021Updated 4 years ago
- EvalEx big-math extension for math functions (pow, sqrt, log, sin, ...)☆14Oct 27, 2024Updated last year
- A collection of helpful utilities for use in Dart projects.☆11Updated this week
- L7mp: A L7 multiprotocol proxy and service mesh☆16Dec 12, 2025Updated 2 months ago
- RFCs for changes to DevTools☆15Nov 15, 2019Updated 6 years ago