cardano-ledger-specs
stylish-haskell
cardano-ledger-specs | stylish-haskell | |
---|---|---|
12 | 2 | |
119 | 968 | |
- | 0.5% | |
9.8 | 4.6 | |
over 2 years ago | about 1 month ago | |
Haskell | Haskell | |
Apache License 2.0 | GNU General Public License v3.0 or later |
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
- 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
stylish-haskell
- Cardano again is the top 1 in development activity on Github
-
Monthly Hask Anything (April 2021)
+1 for stylish-haskell, though https://github.com/haskell/stylish-haskell/issues/355 prevents me from using some of the features.
What are some alternatives?
reach-lang - Reach: The Safest and Smartest DApp Programming Language
awesomo - Cool open source projects. Choose your project and get involved in Open Source development now.
elixir-maybe - A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
stylish-haskell - Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
daedalus - The open source cryptocurrency wallet for ada, built to grow with the community
Cabal - Official upstream development repository for Cabal and cabal-install
kepler - A Haskell framework that facilitates writing ABCI applications
hadolint - Dockerfile linter, validate inline bash, written in Haskell
plutus - The Plutus language implementation and tools
ihp - 🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
chainweb-mining-client - A mining client for Kadena
hledger - Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.