|over 2 years ago||18 days ago|
|MIT License||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.
Announcing the Sword compiler
2 projects | dev.to | 2 Jan 2021
In celebration of Bitcoin's 12th birthday on January 3rd at 19:15, we release the Sword compiler as open source. Sword is a declarative language for expressing fully-collateralized financial contracts on the blockchain. Sword makes timed, conditional transfers of tokenized assets easy.2 projects | dev.to | 2 Jan 2021
Several of these improvements were made as contributions by students who subsequently took their first Haskell course. We are proud to say that the barrier to entry is low enough to welcome people with limited experience in Haskell, compilers and blockchain.
i want to become a block chain developer
Here is a link to their website https://reach.sh/ . Check out their documentation, discord (great community), and they have videos on youtube as well!
How to deploy your Decentralized Application on 4EVERLAND
4 projects | /r/4everland | 12 Apr 2022
I’m not going to lie
2 projects | /r/algorand | 9 Apr 2022
If you want to look at some examples of smart contracts implemented in a higher level language, there's reach, which is Js based, which compiles to various chain vms including avm. Their GitHub has numerous example smart contracts that I found useful. Their docs & walkthroughs are also good to get you started thinking the right way. You may even consider it for implementation if you're comfortable with JS. It also provides compile time assertions that double check your code for things like "value X should only be visible to participant A" which I found great as a concept.
Useful Tools, Programs, and Languages for Blockchain
3 projects | /r/programming | 30 Mar 2022
Very impressive collection of resources. If you do further maintenance, these may have some interest. Corda REACH Algorand Hedera
Learn Blockchain Development: How to Build Your First DApp on Algorand
3 projects | /r/CryptoCurrency | 30 Sep 2021
While there are many different approaches to building dApps on Algorand, in this post we will focus on getting started using Reach - a free, easy and quick way to get your feet wet in the Algorand ecosystem. One huge benefit of Reach is verification. Reach provides verification on dApps via compile time and runtime verification of the solution. For more info see the opening paragraph in a tutorial on Using Loop invariants for Verification in Reach.3 projects | /r/CryptoCurrency | 30 Sep 2021
Becoming a dev in the Algorand universe?
2 projects | /r/AlgorandOfficial | 30 Sep 2021
Agree with the above. I'd also recommend looking into the Reach platform as it makes the whole process super easy (https://reach.sh/)
Is "Mastering Ethereum" still the best way to learn Solidity development?
5 projects | /r/ethdev | 1 Jul 2021
https://reach.sh/ is a language I’ve been using that compiles to solidity or teal (algorand). It feels different to writing solidity and is meant to be more code efficient and less error prone. Their pitch is they want to make writing contracts quick for the traditional, web 2, developer.
My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
6 projects | /r/ethereum | 4 Jun 2021
Plutus != Haskell, it is significantly simplified version of Haskell. It is a DSL. Besides in Cardano they also have Glow, which is a very nice looking language. For now Glow compiles to EVM but there are working for it to compile to Plutus Core. (https://developers.cardano.org/en/programming-languages/glow/getting-started/glow-tutorial/). Glow is quite similar to Reach Lang ( https://github.com/reach-sh/reach-lang), which as you may know or not is being adopted for Algorand.
ALGO DApp Browser
2 projects | /r/AlgorandOfficial | 14 May 2021
I am not currently aware of a condensed list that also presents information current state of development. Complementing the links u/estantef shared, there is also the Algorand Asia Accelerator Playlist https://youtube.com/playlist?list=PLGi5rSYpKqxbMQoSATS_jshTL6omA4fdv. And here is the Algorand Europe Accelerator Demo Day playlist: https://youtube.com/playlist?list=PLB5pt7smHvRT3O3g6j_BjXwbNN-hTpFQ-. I can't add this video to the playlist https://youtu.be/Vedml0vxnVI and videos for the two projects Dopamine and Blockswap Network are missing. Some other projects are Venue One, Opulous, AlgoSwap and so on. Most of the projects are launching in the next few weeks. Some projects run on Algorand but are not decentralized like lofty.ai, Dahai, uncopied and more. Yieldly will hold its IDO on TrustSwap on May 21 and launch next month. Opulous will announce a well-known artist in the next few weeks and also launch soon after. In addition, Balancer will also come to Algorand. The company that also developed the Reach programming language is working on this.
What are some alternatives?
plutus - The Plutus language implementation and tools
crypto-fees - Website for comparing total daily fees of various blockchain protocols.
AlgoSwap - Decentralized Uniswap-like exchange for Algorand Standard Assets. Currently a work-in-progress.
hevm - Dapp, Seth, Hevm, and more
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
go-algorand - Algorand's official implementation in Go.
cardano-ledger-specs - The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger]
ethereum_formal_verification_overview - Overview of the formal verification projects in the Ethereum ecosystem.
eattheblocks - Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers
elixir-maybe - A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
reach-sample-react-app - A simple example of how to use Reach with React.js
yearn-starter-pack - Starter pack strategy for yearn vaults