reach-lang
cardano-ledger-specs
Our great sponsors
reach-lang | cardano-ledger-specs | |
---|---|---|
40 | 12 | |
588 | 119 | |
0.3% | - | |
5.2 | 9.8 | |
8 months ago | over 2 years ago | |
Haskell | Haskell | |
Apache License 2.0 | 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.
reach-lang
-
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!
-
What is the best crypto programming language and why? Looking for insights from programmers.
I'd highly suggest looking into Reach language (reach.sh). It's a smart contract language based on javascript that has the ability to deploy on ethereum, algorand, and conflux blockchains (i'm sure they will add more at some point). It's a lot simpler to learn than solidity for instance.
-
Smart Contract Tool on Algorand
https://reach.sh there are also sdks available for Java, JavaScript, Python, go
-
Introducing the Beta launch of Pokerand.io, a built-from-scratch Poker Platform for the Algorand Blockchain
Pokerand.io is built from the ground-up using Flutter, a UI software development kit created by Google. The Smart Contract, which handles deposits, withdrawals, authentication, and maintains player balances on-chain, is built using the Reach.sh smart contract platform (https://reach.sh/). The Reach contract will be published as an open-source project on GitHub, along with simple NodeJS programs to manually reproduce Deposits and Withdrawals of tokens.
-
Take this downtime to learn a blockchain programming language.
reach.sh is...
-
Defly: Finding Bugs - The background story of the HumbleSwap relaunch.
When this was first released someone commented "RIP reach" and I assumed the contracts were written with reach.sh
-
why Algorand DeFi is underdeveloped?
The second point is somewhat invalid. Aside from pyteal, which compiles python to teal smart contracts, there is also Reach which is JavaScript to teal.
-
I want to make a small P2E (and Free to Earn) game, I have couple of questions regarding that
If you want a game where there are smart contracts and moves are recorded on the blockchain then either I suggest to wait for Cardano sidechains to itself with smart contract languages which are a bit easier (e.g. https://github.com/reach-sh/reach-lang) or simply develop in Solidity on Milkomeda sidechain with MetaMask.
-
How to deploy your Decentralized Application on 4EVERLAND
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
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.
cardano-ledger-specs
- How do swaps work on blockchains that do not support Smart Contracts?
-
Looking for experienced Haskell developers to work with us on Cardano Wallet
Integrates with the ledger, consensus and network components that power the Cardano network. (These are also written in Haskell, and we work closely with these teams.)
-
These were the most actively updated crypto projects last month (spoiler: there's no Bitcoin!)
I'm not a big Cardano fanboy but this doesn't appear to be the case https://github.com/input-output-hk/cardano-ledger-specs/commits/master
-
My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
Another thing I should mention is that, if you look at the Cardano smart contract integration formal specification, it actually contemplates the potential co-existence of multiple smart contract scripting languages, of which Plutus V1 is merely the first one.
- Cardano again is the top 1 in development activity on Github
-
Token Name Question
32 bytes long
-
Ranking algorithm of Daedalus explained?
https://github.com/input-output-hk/cardano-ledger-specs/blob/master/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/API/Wallet.hs#L70
- Mary promises NFTs, but the documentation leads otherwise...
- Ignore pool rank - Yoroi, Daedalus, Adapools
-
Is ~5% yield conceivable once the only source of income are transactions?
This is the repository with the ledger specifications: https://github.com/input-output-hk/cardano-ledger-specs
What are some alternatives?
plutus - The Plutus language implementation and tools
elixir-maybe - A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
crypto-fees - Website for comparing total daily fees of various blockchain protocols.
daedalus - The open source cryptocurrency wallet for ada, built to grow with the community
AlgoSwap - Decentralized Uniswap-like exchange for Algorand Standard Assets. Currently a work-in-progress.
hevm - Dapp, Seth, Hevm, and more
kepler - A Haskell framework that facilitates writing ABCI applications
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
chainweb-mining-client - A mining client for Kadena
go-algorand - Algorand's official implementation in Go.
kepler - NIST-based CVE lookup store and API powered by Rust.