Sword VS reach-lang

Compare Sword vs reach-lang and see what are their differences.


Sword — A financial derivative language for the blockchain (by Sword-Smith)


Reach: The Safest and Smartest DApp Programming Language (by reach-sh)
Our great sponsors
  • Mergify - Updating dependencies is time-consuming.
  • SonarQube - Static code analysis for 29 languages.
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
Sword reach-lang
2 40
29 584
- 0.0%
0.0 0.0
over 2 years ago 18 days ago
Haskell Haskell
MIT License 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.


Posts with mentions or reviews of Sword. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-02.
  • 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.


Posts with mentions or reviews of reach-lang. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-17.
  • i want to become a block chain developer
    2 projects | /r/learnjavascript | 17 Jul 2022
    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
    In this article, we will cover a tutorial on how to build and deploy your decentralized Application on 4everland. For this case, we will be using react js and 4everland will be used to manage our front-end. The Application will use the Ethereum network and it will be written in Reach, a dApp programming language that is simple to learn and has a Javascript syntax.
  • 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
    You can check the entire example backend program here, and the example frontend here. The frontend can also be written using the Remote Procedure Call (RPC) feature of Reach, in many languages including JavaScript, Go, Python, C# and more, but we’ll take a look at the main part only:
  • 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?

When comparing Sword and reach-lang you can also consider the following projects:

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