Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mpstk

Multiparty Session Types toolKit
Stars
7
License
mit
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
Scala
Categories
Repo
Suggest An Alternative To mpstk
Popular Session Projects
Asciinema ⭐ 12,413
Terminal session recorder 📹
dependent packages 1total releases 3latest release May 08, 2022most recent commit 3 months ago
Gf ⭐ 10,495
GoFrame is a modular, powerful, high-performance and enterprise-class application development framework of Golang.
dependent packages 326total releases 542latest release December 04, 2023most recent commit 3 months ago
Popular Model Checking Projects
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Kani ⭐ 1,699
Kani Rust Verifier
total releases 44latest release November 28, 2023most recent commit 3 months ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Types Scala
Scala Session
Types Session
Types Safety
Scala Model Checking
Safety Model Checking
Scala Session Types
Session Safety
Safety Liveness
Model Checking Liveness

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Scala
Session
Model Checking
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.