typed-protocols
go-algorand
typed-protocols | go-algorand | |
---|---|---|
2 | 215 | |
8 | 1,328 | |
- | 0.6% | |
7.3 | 9.4 | |
6 days ago | about 21 hours ago | |
Haskell | Go | |
- | GNU General Public License v3.0 or later |
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/
go-algorand
-
On Implementation of Distributed Protocols
Algorand — a blockchain based on the Algorand consensus protocol (written in Go);
-
Very Bullish-Rated Algorand (ALGO) Rises Saturday to $0.2116661288
The Algorand v3.9.x update in Sep 2022:
- Will FALCON actually be used in the go-algorand codebase?
- PSA: Update your node to version 3.20.1
- If you are interested in having Windows binaries for Algorand software give this issue a read and let us know your thoughts
- Draft: Incentives: Implements "Mining" - diverting a portion of fees to proposers. Take part in the discussion
-
How to prepare for the developer bootcamp
Developer Portal at https://developer.algorand.org/
-
Gary Malouf: Algorand 3.16 consensus upgrade, here's what's next
Upgrade your nodes! https://github.com/algorand/go-algorand/releases/tag/v3.16.2-stable
- Algo 10,000 TPS upgrade ‘IMMINENT’ 🚀
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
pera-wallet - Source code for Pera Wallet, simply the best Algorand wallet.
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
reach-lang - Reach: The Safest and Smartest DApp Programming Language
ARCs - Algorand Requests for Comments
metal-bitcoin-storage-reviews - Metal Bitcoin Storage Backup Device Stress Tests and Reviews
pyteal - Algorand Smart Contracts in Python
hedera-improvement-proposal - Hedera Improvement Proposal
algomart - Algorand NFT Storefront platform
tealang - Tealang - high level language for Algorand ASC1 and TEAL
substrate-open-working-groups - The Susbstrate Open Working Groups (SOWG) are community-based mechanisms to develop standards, specifications, implementations, guidelines or general initiatives in regards to the Substrate framework. It could, but not restricted to, lead to new Polkadot Standards Proposals. SOWG is meant as a place to find and track ongoing efforts and enable everybody with similar interests to join and contribute.
indexer - searchable history and current state