reach-lang

Reach: The Safest and Easiest DApp Programming Language (by reach-sh)

Reach-lang Alternatives

Similar projects and alternatives to reach-lang

  • GitHub repo crypto-fees

    Website for comparing total daily fees of various blockchain protocols.

  • GitHub repo plutus

    The Plutus language implementation and tools

  • GitHub repo eattheblocks

    Source code for Eat The Blocks, a screencast for Ethereum Dapp Developers

  • GitHub repo Formality

    A modern proof language

  • GitHub repo hevm

    Dapp, Seth, Hevm, and more

  • GitHub repo awesome-ethereum-security

    A curated list of awesome Ethereum security references

  • GitHub repo uniswap-info

    ℹ️ Uniswap analytics. (V1 + V2)

  • GitHub repo cardano-ledger-specs

    A formal specification and executable model of the ledger rules introduced by the Shelley release

  • GitHub repo ethereum_formal_verification_overview

    Overview of the formal verification projects in the Ethereum ecosystem.

  • GitHub repo yearn-starter-pack

    Starter pack strategy for yearn vaults

  • GitHub repo AlgoSwap

    Decentralized Uniswap-like exchange for Algorand Standard Assets. Currently a work-in-progress.

  • GitHub repo elixir-maybe

    A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better reach-lang alternative or higher similarity.

Posts

Posts where reach-lang has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-07-01.
  • Question
    reddit.com/r/reach_sh | 2021-07-12
    hello, im trying the complete beginner tutorial. to create the file tut-2/index.rsh📷 do I use a text editor and where to I find this directory in windows (ubuntu with wls 2 dockers on windows).
  • I want to thank the Ethereum community for getting me back into what I love. I used to code but eventually lost interest and my work shifted into sales. Ethereum has ignited my coding passion again. Im currently studying Solidity. I’m getting back into Python. May take a course for C+ & Java. 🙏🏻
    reddit.com/r/ethereum | 2021-07-10
    You should look into Reach. They are based on Javascript and have their whole own language in a small code library. I'm learning it. reach.sh is the site. It's soooo much easier than Solidity and actually more robust imo.
  • Is "Mastering Ethereum" still the best way to learn Solidity development?
    reddit.com/r/ethdev | 2021-07-01
    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.
  • Reach help with ASA’s
  • My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
    reddit.com/r/ethereum | 2021-06-04
    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.
  • Reach Blockchain Development Platform
    reddit.com/r/ethdev | 2021-05-26
  • ALGO DApp Browser
    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.
  • Daily General Discussion - May 9, 2021
    Found some links here. And here is an example of a higher level language that does its own formal verification.
  • New progress on connecting Algorand to Balancer. More code uploaded yesterday
    To see what progress is being made follow the 'pull reqests' hitting the master branch. This merged yesterday https://github.com/reach-sh/reach-lang/pull/132. This lets a developer compile reach as a library to call from their own code rather than as a stand alone app. See allthe pull requests here. They have human readable descriptions that are a little bit more understandable than code for non-devs https://github.com/reach-sh/reach-lang/pulls?q=is%3Aclosed
  • Any DeFi earning platforms for stable coins?
    reddit.com/r/algorand | 2021-04-26
    https://reach.sh/ - they are building an interface so you can use Balancer on Algorand.
  • Why doesn't Algorand have a DEX yet?
    reddit.com/r/algorand | 2021-04-07
    Well, they gave 5k to Reach lang to incentivize them to "explore"... they appear to have some work in progress, anything beyond that is speculation.

Stats

Basic reach-lang repo stats
13
179
9.9
2 days ago

reach-sh/reach-lang is an open source project licensed under Apache License 2.0 which is an OSI approved license.