My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick

This page summarizes the projects mentioned and recommended in the original post on /r/ethereum

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • plutus

    The Plutus language implementation and tools

    [Plutus](https://iohk.io/en/research/library/papers/functional-blockchain-contracts/) ([github](https://github.com/input-output-hk/plutus)) is a set of libraries written in the Haskell language that allow you to write off-chain and on-chain code in a single Haskell source file. The on-chain source code defines the validation scripts that should be attached to utxos and will guard their consumption in subsequent transactions (validators have type `Datum -> Redeemer -> ScriptContext -> Bool`). - The on-chain code gets compiled down to a more minimal language called Plutus Core. The off-chain source code is responsible for querying the blockchain and constructing valid transactions for submission into the blockchain to evolve smart contract state. Off-chain code is evaluated in by the user's wallet or dApp frontend, while on-chain code is evaluated by a validator node (e.g. a stakepool node) for each input utxo to be consumed by a submitted transaction.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • Formality

    Discontinued A modern proof language [Moved to: https://github.com/kind-lang/Kind]

    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.

  • elixir-maybe

    A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads

    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.

  • reach-lang

    Reach: The Safest and Smartest DApp Programming Language

    Plutus != Haskell, it is significantly simplified version of Haskell. It is a DSL. Besides in Cardano they also have Glow, which is a very nice looking language. For now Glow compiles to EVM but there are working for it to compile to Plutus Core. (https://developers.cardano.org/en/programming-languages/glow/getting-started/glow-tutorial/). Glow is quite similar to Reach Lang ( https://github.com/reach-sh/reach-lang), which as you may know or not is being adopted for Algorand.

  • cardano-ledger-specs

    Discontinued The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger]

    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.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Vitamin Coin's starter guide [2023]

    1 project | /r/VitaminCoin | 26 Mar 2023
  • Check this project listed on coingeko

    2 projects | /r/coingecko | 8 Mar 2023
  • What decent crypto tools am I missing here? Trying to build a mega list of crypto resources.

    4 projects | /r/CryptoCurrency | 26 Feb 2023
  • Mandala Will Support The VITE (VITE) Network Upgrade

    1 project | /r/MandalaExchange | 31 Aug 2022
  • Daily General Discussion - July 23, 2022 (GMT+0)

    1 project | /r/CryptoCurrency | 23 Jul 2022