plutus VS elixir-maybe

Compare plutus vs elixir-maybe and see what are their differences.

plutus

The Plutus language implementation and tools (by IntersectMBO)

elixir-maybe

A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads (by campezzi)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
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 -
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.

plutus

Posts with mentions or reviews of plutus. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-24.

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
    6 projects | /r/ethereum | 4 Jun 2021
    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 plutus and elixir-maybe you can also consider the following projects:

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