plutus
elixir-maybe
Our great sponsors
plutus | elixir-maybe | |
---|---|---|
89 | 1 | |
1,527 | 17 | |
3.5% | - | |
9.8 | 1.8 | |
3 days ago | almost 3 years ago | |
Haskell | Elixir | |
Apache License 2.0 | - |
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.
plutus
-
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 :)
-
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.
Probably this https://github.com/input-output-hk/plutus/commit/0f8334ab939a7dce33e9d3ebcded1d2aabd31795. Makes sense, just create unique payment references.
-
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?
You can monitor PAB releases at https://github.com/input-output-hk/plutus/releases
-
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
elixir-maybe
-
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?
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-node - The core component that is used to participate in a Cardano decentralised blockchain.
plutus-pioneer-program - This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
plutus-starter - A starter project for Plutus apps
openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.
aur - A secure, multilingual package manager for Arch Linux and the AUR.
juvix - Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
cardano-wallet - HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
ouroboros-high-assurance - High-assurance implementation of the Ouroboros protocol family
cardano-sl - Cryptographic currency implementing Ouroboros PoS protocol
Alonzo-testnet - repository for the Alonzo testnet