typed-protocols
avalanchego
typed-protocols | avalanchego | |
---|---|---|
2 | 39 | |
9 | 2,087 | |
- | 1.1% | |
7.3 | 9.8 | |
13 days ago | 5 days ago | |
Haskell | Go | |
- | BSD 3-clause "New" or "Revised" 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.
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/
avalanchego
-
On Implementation of Distributed Protocols
Avalanche — a blockchain platform based on the Avalanche consensus protocol (written in Go);
-
Discover Avalanche
For more information, you can visit the Avalanche website or check out their documentation.
- 🛠️ Avalanche Cortina 4 is out 🔍 Release Focus: X-Chain DB Cleanup + Modify ProposerVM Window + x/sync Code Refactor + (Rare) Bootstrap Stall Fix
- Cortina ([email protected]) is out now & will be activating on April 25th at 11AM ET. Validators MUST update nodes PRIOR to this date otherwise they will not be able to process new blocks post upgrade.
- Upgrade v.1.9.14: An upgrade to fix an issue affecting some validators. All Avalanche Validators should upgrade their nodes to ensure consistency, uptime and responsiveness.
- Avalanche's Public API is Broken
- How can you defend this chain? I have no idea...
- ❄️🏂 Avalanche Banff 1 is out ⛄⛷️ Expanding upon the Elastic Subnet capabilities to include VM2, a new VM <> VM communication tool that builds towards full Subnet interoperability++
-
Introduction to Virtual Machines (VMs)
For more information, see here.
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
avalanchejs - The Avalanche Platform JavaScript Library
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
grin - Minimal implementation of the Mimblewimble protocol.
subnet-evm - Launch your own EVM as an Avalanche Subnet
saito-lite - A cross-platform javascript saito implementation
building-secure-contracts - Guidelines and training material to write secure smart contracts
avalanche-wallet - The Avalanche web wallet
avalanche-network-runner - Tool to run and interact with an Avalanche network locally
crypto-fees - Website for comparing total daily fees of various blockchain protocols.
defisaver-v3-contracts - All the contracts related to the Defi Saver ecosystem
vee-protocol