condtype
Choose Rust types at compile-time via constants (by nvzqz)
dialectic
Transport-polymorphic, asynchronous session types for Rust (by boltlabs-inc)
condtype | dialectic | |
---|---|---|
3 | 1 | |
57 | 60 | |
- | - | |
7.3 | 0.0 | |
4 months ago | over 1 year ago | |
Rust | Rust | |
Apache License 2.0 | MIT License |
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.
condtype
Posts with mentions or reviews of condtype.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-04-19.
-
condval: Create conditionally-typed values
In the v1.0 announcement of condtype, I introduced CondType. It enables choosing a type based on a compile-time constant (like std::conditional_t in C++):
- CondType brings C++ conditional_t to Rust
- CondType: choose types via boolean conditions
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.
What are some alternatives?
When comparing condtype and dialectic you can also consider the following projects:
typical - Data interchange with algebraic data types.
rust - Empowering everyone to build reliable and efficient software.
async-std - Async version of the Rust standard library
project-const-generics
zkchannels-spec - Specifications of the blockchain interaction for zkchannels
deno - A modern runtime for JavaScript and TypeScript.
rauth - A simple SSO implementation in Rust
unseemly - Macros have types!
firefly - A "blazingly" fast key-value pair database without bloat written in rust
MIO - Metal I/O library for Rust.