About Michelson design

This page summarizes the projects mentioned and recommended in the original post on /r/tezos
programming-language Factor Stack Concatenative Language

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

  • mi-cho-coq

  • factor

    Factor programming language

    • My guess is that the stack machine representation is rather easy for computers and trained humans to reason about but we are not used to the paradigm. See all those ongoing performance improvements. Modern stack based languages like https://factorcode.org/ look rather interesting.

  • 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

  • indigo

    • A more direct comparison might be using: https://gitlab.com/morley-framework/indigo a morley based haskells edsl and then run your proofs on the generated michelson. But again that is only one of many options on Tezos.

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