typed-protocols
sui
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 |
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
-
On Implementation of Distributed Protocols
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?
I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/
sui
-
On Implementation of Distributed Protocols
Sui — a smart contract platform based on Narwhal and Bullshark protocols (written in Rust);
- Rust Cryptography Should Be Written in Rust
-
how to avoid repeating when multiple dependencies share same git repo
How can I avoid repeating these? [dependencies] sui-json = { git = "https://github.com/MystenLabs/sui.git", tag = "testnet-v1.5.0"} sui-sdk = { git = "https://github.com/MystenLabs/sui.git", tag = "testnet-v1.5.0"} sui-keys = { git = "https://github.com/MystenLabs/sui.git", tag = "testnet-v1.5.0"} sui-json-rpc-types = { git = "https://github.com/MystenLabs/sui.git", tag = "testnet-v1.5.0"} sui-types = { git = "https://github.com/MystenLabs/sui.git", tag = "testnet-v1.5.0"} shared-crypto = { git = "https://github.com/MystenLabs/sui.git", tag = "testnet-v1.5.0"}
-
What happened to the devnet_nft module?
Hello u/fancy_joe, It was moved from the framework. You can now find it as an example here. You will have to publish it to use it.
-
evaluation of constant value failed
the command I'm running is "cargo install --locked --git https://github.com/MystenLabs/sui.git --branch devnet sui"
- SUI Price Prediction 2023 to 2031: Is $5 EOY Price Possible?
-
Staking
Sui's Tokenomics White Paper
-
Devnet update 0.12.2
Update 0.12.2 released on devnet. Detailed information on the link https://github.com/MystenLabs/sui/releases/tag/devnet-0.12.2.
-
Updates Wallet Adapter
We’ve recently made updates to our Wallet Adapter (Connect your dApps to Wallets on Sui) https://github.com/MystenLabs/sui/tree/main/sdk/wallet-adapter and Wallet Standard (browser wallet standard created in collaboration with Solana) https://github.com/MystenLabs/sui/tree/main/sdk/wallet-adapter/packages/wallet-standard. Note that these implementations are still new and will go through continual improvements and changes. As always we welcome contributors!! If you are building a non-browser wallet, please reach out–we are eager to engage with you to explore how to best integrate non-browser wallets into the wallet adapter ecosystem. Thanks all.
-
Sui is horizontally scalable to support a wide range of application development with unrivaled speed at low cost.
Github: https://github.com/MystenLabs/sui
What are some alternatives?
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.