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)
kepler
NIST-based CVE lookup store and API powered by Rust. (by exein-io)
Our great sponsors
| cardano-ledger-specs | kepler | |
|---|---|---|
| 12 | 4 | |
| 119 | 121 | |
| - | 2.5% | |
| 9.8 | 6.8 | |
| over 2 years ago | 3 months ago | |
| Haskell | Rust | |
| Apache License 2.0 | GNU General Public License v3.0 or later |
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
kepler
Posts with mentions or reviews of kepler.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Exein - DevOps Engineer in the Cybersecurity startup space
At Exein we are looking to recruit a DevOps Engineer to form part of our foundational engineering team!
- Kepler: open source CVE Search Engine written in Rust
-
Rust-powered CVE Search Engine
Hello there! We at Exein just open sourced our own CVE Search Engine API, Kepler. Kepler is written in Rust and allows you to look for product/version CVEs in a super fast and easy way. It’s especially useful when you don’t know the product’s vendor (that’s the whole reason why we created it in the first place). Feel free to give it a spin and let us know what you think about it! Any feedback is more than appreciated :) GitHub: https://github.com/Exein-io/kepler
- Rust Open Source CVE Search Engine
What are some alternatives?
When comparing cardano-ledger-specs and kepler you can also consider the following projects:
reach-lang - Reach: The Safest and Smartest DApp Programming Language
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
elixir-maybe - A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
jwt-explorer - Decode, explore, and sign JWTs
daedalus - The open source cryptocurrency wallet for ada, built to grow with the community
alacritty - A cross-platform, OpenGL terminal emulator.
plutus - The Plutus language implementation and tools
RustScan - 🤖 The Modern Port Scanner 🤖
kepler - A Haskell framework that facilitates writing ABCI applications
chainweb-node - Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
chainweb-mining-client - A mining client for Kadena
cardano-wallet - HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
cardano-ledger-specs vs reach-lang
kepler vs cardano-ledger
cardano-ledger-specs vs elixir-maybe
kepler vs jwt-explorer
cardano-ledger-specs vs daedalus
kepler vs alacritty
cardano-ledger-specs vs plutus
kepler vs RustScan
cardano-ledger-specs vs kepler
kepler vs chainweb-node
cardano-ledger-specs vs chainweb-mining-client
cardano-ledger-specs vs cardano-wallet