Michelson   the language of Tezos smart-contracts

Michelson is a stack-based, low-level programming language crafted for the development of smart contracts on the Tezos blockchain. It is designed for security and precision, with a strong, static type system. While Michelson incorporates elements inspired by functional programming, such as immutability and deterministic computation, its primary architecture is stack-oriented, making it tailored for formal verification processes.

Connect with Tezos Developers

Tezos Developer Slack

Join the Tezos Developer Slack

Join the Slack

Tezos StackExchange

Join Tezos Stack Exchange

Join the StackExchange

You do not need to know Michelson to build on Tezos!

A common misconception is that you need to learn/know Michelson to build on Tezos. Not true! Code in the language of your choice using the following bridge languages which automatically compile down to Michelson:

This page is intended as a free community resource. There are no trackers, nor any referral codes running on this site. 
For general information about Tezos blockchain itself, visit Tezos.com.

Contact @kmehrabi with any questions, feedback, or requests

2019-2022 Michelson.org — All rights reserved.