A library for deadlock-free multiparty session-typed communication in Rust.
☆31Sep 18, 2024Updated last year
Alternatives and similar repositories for mpst_rust_github
Users that are interested in mpst_rust_github are comparing it to the libraries listed below
Sorting:
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Jun 11, 2020Updated 5 years ago
- ☆17Aug 26, 2025Updated 6 months ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- 🎭 Actor library for Haskell☆30Feb 16, 2023Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- Existential type.☆37Feb 11, 2026Updated 2 weeks ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Formal Analysis of the PQXDH Protocol☆30Jun 6, 2024Updated last year
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- A reasonable theorem prover for your reasoning tasks!☆31Jan 27, 2025Updated last year
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Mar 5, 2025Updated 11 months ago
- upbit-api on rust☆11May 28, 2025Updated 9 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 2 years ago
- Like `git status` for your branches!☆12Jul 29, 2022Updated 3 years ago
- Example Cloud Foundry application for use with Pivotal Redis service☆11Jun 27, 2025Updated 8 months ago
- ☆10Feb 3, 2023Updated 3 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 Playwright MCP package in Nix☆17Jan 16, 2026Updated last month
- Sangria akka-streams integration☆11Feb 8, 2026Updated 3 weeks ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆48Apr 5, 2020Updated 5 years ago
- An Akka based Mesos actor for creating Mesos frameworks.☆10May 13, 2021Updated 4 years ago
- Pound Load Balancer used in RELIANOID ADC for HTTP and HTTPS userspace management. It includes some features developed by the RELIANOID T…☆16Jan 2, 2025Updated last year
- ☆10Dec 12, 2022Updated 3 years ago
- ☆10Oct 31, 2022Updated 3 years ago
- Example Lagom.js application☆10Jul 10, 2021Updated 4 years ago
- Stock image API☆11Jul 15, 2020Updated 5 years ago
- Post-quantum Wireguard (Theory)☆12Sep 9, 2020Updated 5 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆23Jan 5, 2026Updated last month
- A python library that extracts data from various Starcraft II resources to power tools and services for the SC2 community. Who doesn't w…☆11Dec 31, 2025Updated 2 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆17Dec 27, 2025Updated 2 months ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Relay support for Zed☆10Sep 25, 2025Updated 5 months ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆45Feb 6, 2025Updated last year