typed-protocols VS sui

Compare typed-protocols vs sui and see what are their differences.

typed-protocols

Session types framework with support of protocol pipelining. (by input-output-hk)

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language (by MystenLabs)
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
typed-protocols sui
2 13
9 5,791
- 1.2%
7.3 10.0
13 days ago 4 days ago
Haskell Rust
- 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.

typed-protocols

Posts with mentions or reviews of typed-protocols. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-04-05.
  • On Implementation of Distributed Protocols
    23 projects | dev.to | 5 Apr 2024
    Certain correctness properties of code can be ensured statically, i.e. at compile time. Those checks rely on the programming language's type system. Software engineers can take advantage of type safety features to implement components in a way that makes them safe by construction. For example, Cardano uses the typed-protocols package, a generic framework for implementing application-level protocols, which is based on a simple form of session typing.6 Within this framework, protocols are described as state machines encoded into Haskell types. The allowed transitions between states correspond to messages exchanged between the peers, so the protocol state determines which messages are allowed to be sent or must be accepted when received, at type level. This simplifies protocol implementation, allows early detection of protocol violations, and makes the protocols themselves deadlock-free by construction. More advanced type-level programming techniques may allow achieving impressive levels of type safety; however, such code may be significantly harder to implement, understand, and maintain.
  • RPC lib?
    5 projects | /r/haskell | 19 Feb 2023
    I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/

sui

Posts with mentions or reviews of sui. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-04-05.

What are some alternatives?

When comparing typed-protocols and sui you can also consider the following projects:

nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)

flame - Flame is self-hosted startpage for your server. Easily manage your apps and bookmarks with built-in editors.

cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]

dashy - 🚀 A self-hostable personal dashboard built for you. Includes status-checking, widgets, themes, icon packs, a UI editor and tons more!

dashboard - :bar_chart: a nice and simple dashboard / landing page.

Heimdall - An Application dashboard and launcher

startpage - A local start page for my network

homer - A very simple static homepage for your server.

simple-icons - SVG icons for popular brands

tinyhome - Static homepage generator

homer-icons

Yacht - A web interface for managing docker containers with an emphasis on templating to provide 1 click deployments. Think of it like a decentralized app store for servers that anyone can make packages for.