typical
dialectic
typical | dialectic | |
---|---|---|
13 | 1 | |
552 | 60 | |
- | - | |
7.3 | 0.0 | |
26 days ago | over 1 year ago | |
Rust | Rust | |
GNU General Public License v3.0 or later | MIT License |
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.
typical
-
Typical: Data interchange with algebraic data types
Yes! We have comprehensive integration tests that run in the browser to ensure the generated code only uses browser-compatible APIs. Also, the generated code never uses reflection or dynamic code evaluation, so it works in Content Security Policy-restricted environments.
See this section of the README for more info: https://github.com/stepchowfun/typical#javascript-and-typesc...
- GitHub - stepchowfun/typical: Data interchange with algebraic data types. "can be compared to Protocol Buffers and Apache Thrift. ... emphasizing a safer programming style with non-nullable types and exhaustive pattern matching."
-
Universal type language!
Protocol Buffers is the most popular one, but there are many others such as Apache Thrift and my own Typical.
-
Syntax for defining algebraic data types
Typical uses the terms "struct" and "choice" for products and sums, respectively, although it's not a programming language.
-
Download source for all crates that depend on a specific crate?
Yeah fair. I was thinking you could scrape that page with something like scraper.
- Typical Rusty: data interchange with algebraic data types
dialectic
-
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?
Killed by Google - Part guillotine, part graveyard for Google's doomed apps, services, and hardware.
async-std - Async version of the Rust standard library
rkyv - Zero-copy deserialization framework for Rust
zkchannels-spec - Specifications of the blockchain interaction for zkchannels
website - Official dahliaOS website
rauth - A simple SSO implementation in Rust
dhall-lang - Maintainable configuration files
firefly - A "blazingly" fast key-value pair database without bloat written in rust
rust-protobuf - Rust implementation of Google protocol buffers
MIO - Metal I/O library for Rust.
dimensioned - Compile-time dimensional analysis for various unit systems using Rust's type system.
condtype - Choose Rust types at compile-time via constants