dialectic
Transport-polymorphic, asynchronous session types for Rust (by boltlabs-inc)
rust-user-net
User-space network protocol stack written in Rust (by ykskb)
dialectic | rust-user-net | |
---|---|---|
1 | 2 | |
60 | 51 | |
- | - | |
0.0 | 10.0 | |
over 1 year ago | over 1 year ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
dialectic
Posts with mentions or reviews of dialectic.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-07.
-
Tezos Agora released open source code for private payment channels! Anonymous payments might be coming to Tezos.
zeekoe node. A Rust-based node that integrates the zkChannels library and provides channel management functionality, a secure networking layer for asynchronous communication between the customer and merchant, and a database for managing the channel state and merchant revocation information. To enforce correct protocol execution within zeekoe, we built a session type library in Rust called Dialectic 1, which may be of independent interest to any developers implementing networked protocols. Specifically, the crate provides a generic wrapper around any type of asynchronous channel that adds compile-time guarantees that a specified session protocol will not be violated by any code using the channel. Dialectic is ideal for building networked services that need to ensure high levels of availability and complex protocol correctness properties.
rust-user-net
Posts with mentions or reviews of rust-user-net.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-21.
What are some alternatives?
When comparing dialectic and rust-user-net you can also consider the following projects:
typical - Data interchange with algebraic data types.
packetdrill - The official Google release of packetdrill
async-std - Async version of the Rust standard library
Rust-Tcp - Implementing TCP In Rust
zkchannels-spec - Specifications of the blockchain interaction for zkchannels
rauth - A simple SSO implementation in Rust
firefly - A "blazingly" fast key-value pair database without bloat written in rust
MIO - Metal I/O library for Rust.