dialectic

Transport-polymorphic, asynchronous session types for Rust (by boltlabs-inc)

Dialectic Alternatives

Similar projects and alternatives to dialectic based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better dialectic alternative or higher similarity.

dialectic reviews and mentions

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.
    2 projects | /r/tezos | 7 Oct 2021
    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.

Stats

Basic dialectic repo stats
1
60
0.0
over 1 year ago

boltlabs-inc/dialectic is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of dialectic is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com