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)
elixir-maybe
A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads (by campezzi)
| cardano-ledger-specs | elixir-maybe | |
|---|---|---|
| 12 | 1 | |
| 119 | 17 | |
| - | - | |
| 9.8 | 1.8 | |
| over 3 years ago | almost 4 years ago | |
| Haskell | Elixir | |
| 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
elixir-maybe
Posts with mentions or reviews of elixir-maybe.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-06-04.
-
My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
I mean, I could be ignorant about Elixir, but the first thing you do when programming in a language like Kind, Agda, is modeling your problem with types. Everything follows from that. Elixir doesn't even have sum types! It seems like you can't even express very basic concepts like List, Either, Maybe, List, Monad directly. Let alone more sophisticate concepts like subsets, propositional equality, logical negation? I see libs like this which "implement" half-baked, wrong versions of these concepts in contrived ways. Let me know if I'm wrong, but if you can't even translate the first lines of a Kind program in Elixir, I really can't see it as the same thing, at all. Not being elitist! Just saying these are not the same - and that is okay.
What are some alternatives?
When comparing cardano-ledger-specs and elixir-maybe you can also consider the following projects:
kupo - 🐹 Fast, lightweight & configurable chain-index for Cardano.
plutus - The Plutus language implementation and tools
reach-lang - Reach: The Safest and Smartest DApp Programming Language
Formality - A modern proof language [Moved to: https://github.com/kind-lang/Kind]
marlowe - Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies