cardano-ledger-specs
The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger] (by input-output-hk)
plutus
The Plutus language implementation and tools (by IntersectMBO)
| cardano-ledger-specs | plutus | |
|---|---|---|
| 12 | 89 | |
| 119 | 1,599 | |
| - | 0.4% | |
| 9.8 | 10.0 | |
| over 3 years ago | 5 days ago | |
| Haskell | Haskell | |
| Apache License 2.0 | 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.
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.
cardano-ledger-specs
Posts with mentions or reviews of cardano-ledger-specs.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-08-09.
- 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
plutus
Posts with mentions or reviews of plutus.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-24.
-
Are you disappointed/happy with current daps?
Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node
-
A Comprehensive Guide on Web3 Programming Languages and Tools
Plutus (Haskell) is a statically typed programming language wired for writing reliable smart contracts on the Cardano blockchain. It is also a functional programming language, which means programs are composed as sets of mathematical functions for execution.
-
Software Development Languages: Haskell
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy
I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)
-
Liqwid Labs: Technical Status Update #51
PR for Improved Rational for on-chain size was merged into Plutus: https://github.com/input-output-hk/plutus/commit/6d8d25d1e84b2a4278da1036aab23da4161b8df8
-
Cardano vs. Ethereum: Can Ada Solve Ether’s Problems?
Cardano also suffers from the issue of the size of Plutus script being too big. One script can eat up to 20% of block which renders the overall efficiency even worse.
- Cardano: "Slow and Steady wins the... Annnnnd it's gone." Plutus auditor publicly announces that most Cardano smart contracts have an exploit.
-
Why Cardano smart contract transactions are so big.
They're working on script libraries where you can reference a script in another UTXO rather than having to reinclude it every time. This is mentioned in some videos (I think in November's mid month update and Cardano 360), if you don't have time to watch those it's mentioned in michaelpj's comment here along with some other optimisations they're working on https://github.com/input-output-hk/plutus/issues/4174
-
Why does the same smart contract need to be included with every utxo?
There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.
- PAB release date?
-
Why all the hate?
About to say that lol. Here are more info.https://plutus-apps.readthedocs.io/en/latest/index.htmlhttps://github.com/input-output-hk/plutushttps://docs.cardano.org/plutus/learn-about-plutus
What are some alternatives?
When comparing cardano-ledger-specs and plutus you can also consider the following projects:
kupo - 🐹 Fast, lightweight & configurable chain-index for Cardano.
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
elixir-maybe - A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
marlowe - Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
reach-lang - Reach: The Safest and Smartest DApp Programming Language
cardano-wallet - HTTP server & command-line for managing UTxOs and HD wallets in Cardano.