high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family (by input-output-hk)
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain. (by IntersectMBO)
| high-assurance-legacy | cardano-ledger | |
|---|---|---|
| 1 | 9 | |
| 81 | 266 | |
| - | 1.9% | |
| 7.0 | 10.0 | |
| almost 3 years ago | 2 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.
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.
high-assurance-legacy
Posts with mentions or reviews of high-assurance-legacy.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-31.
-
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 :)
cardano-ledger
Posts with mentions or reviews of cardano-ledger.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-18.
-
When will Voltaire get rid of the 7 keys?
The actual code implementing it is a little hard to find (as always with the quite convoluted and scarcely documented Haskell sources of IOG). I'd suspect it to be somewhere in https://github.com/input-output-hk/cardano-ledger/tree/master/eras.
-
Roadmap does not exist?
That's just rubbish, you can stop trying to create a false narrative now. Minpoolcost was in the Shelley design spec and deliverables, it's not something **evil Charles** come up with because he felt like it.
-
What makes me even more confident about Cardano’s adoption and crypto in general.
See for yourselves all the commits in the source repo for the implementation, it is sooo active: https://github.com/input-output-hk/cardano-ledger/commits/master
-
Why have min-ada-value?
The formula for the mid-ada-value can be found here. Which is essentially:
-
Software Development Languages: Haskell
Blockchain - I find it's one of the few fields really investing in formal methods at the moment (my old boss recently opened a research center at Carnegie Mellon in formalizing maths actually). Two repos with specs are:
* https://github.com/input-output-hk/cardano-ledger
- 12 reasons Cardano can't scale in 2022
- How do Cardano NFTs differ from Ethereum NFTs?
- Block size increased?
-
Hey moon boys, maybe find the real price of the crypto you 'hodl'. once again(for those in the waaaay back) coinbase is wrong.
This is a helpful article! : https://github.com/input-output-hk/cardano-ledger/blob/master/doc/explanations/features.rst I am invested in both the ERC20 and the native token. However, there’s greater demand currently for the ERC20 tokens.