🔧Recommended tooling

Official repositories

• https://gitlab.com/tezos/tezos

• https://gitlab.com/nomadic-labs/tezos

• https://hub.docker.com/r/tezos/tezos

Official documentation

• https://tezos.com/developer-portal

• https://tezos.gitlab.io/

• https://tezos.gitlab.io/michelson-reference/

Setting up dependencies

https://tezos.gitlab.io/introduction/howtoget.html#setting-up-the-development-environment-from-scratch

Running a node

Using Docker and Flextesa: https://assets.tqtezos.com/docs/setup/2-sandbox/

Using sources: https://tezos.gitlab.io/user/sandbox.html

Running a baker

Plug and play tools:

• Bake Buddy: https://bakebuddy.xyz/
• Kiln: https://tezos-kiln.org/

Interacting with Tezos nodes

CLI

Using tezos-client from sources: https://tezos.gitlab.io/user/sandbox.html

Using tezos-client from packages: https://github.com/serokell/tezos-packaging

Using tezos-client from binaries: https://assets.tqtezos.com/docs/setup/1-tezos-client/

Libraries

• Taquito - TypeScript library suite https://tezostaquito.io/
• TzStats - indexer and API https://tzstats.com/docs/api#tezos-api
• TzKT - indexer and API https://api.tzkt.io/
• Conseil - indexer and API https://github.com/Cryptonomic/Conseil
• ConseilJS - library for building apps in TypeScript and JavaScript https://cryptonomic.github.io/ConseilJS/#/
• ConseilPy - Python toolkit for Conseil indexer and API https://github.com/baking-bad/conseilpy
• Morley - Developer tools for Michelson https://gitlab.com/morley-framework/morley
• TezosKit - Swift SDK for iOS, macOS, and iPadOS https://github.com/keefertaylor/TezosKit
• KotlinTezos - Android/Kotlin toolbox https://gitlab.com/camlcase-dev/kotlin-tezos
• PyTezos - Python SDK https://github.com/baking-bad/pytezos
• Sotez - JavaScript library https://github.com/AndrewKishino/sotez
• Magic - passwordless wallet connector for apps https://docs.magic.link/advanced/tezos/get-started
• Beacon - wallet connector for apps https://www.walletbeacon.io/
• TezBridge - wallet connector for apps https://docs.tezbridge.com/
• Go Tezos- Go library https://github.com/goat-systems/go-tezos
• TezosJ - Android Java SDK https://github.com/TezosRio/TezosJ_SDK
• TezosJ Plain Java - Java SDK https://github.com/TezosRio/TezosJ_plainJava
• Netezos - .Net Standard 2.0 library https://github.com/baking-bad/netezos

Writing and building smart contracts

• Python | http://smartpy.io
• Pascal, OCaml, ReasonML | https://ligolang.org/
• Haskell | https://indigo-lang.gitlab.io/
• Domain-Specific | https://archetype-lang.org/
• Language of Tezos Smart Contracts | https://michelson.nomadic-labs.com/

Explorers

• TzStats https://tzstats.com/
• tezblock https://tezblock.io/
• Arronax https://arronax.io/
• TzKT https://tzkt.io/
• TezTracker https://teztracker.everstake.one/mainnet
• TezEdge - Tezos Node Explorer https://tezedge.com/#/network
• Tezos Notifier Bot (Telegram) https://t.me/TezosNotifierBot
• Better Call Dev - Smart Contract Explorer https://better-call.dev/
• SmartPy Contract Explorer https://www.smartpy.io/dev/explorer
• Misualizer - Smart Contract Explorer https://misualizer.tezbridge.com/
• Tezos Hubble Explorer https://hubble.figment.network/tezos
• Baking Bad - Delegation Explorer https://baking-bad.org/
• Mininax https://mininax.io/mainnet
• Blockchair https://blockchair.com/tezos

Tools

• SmartPy IDE https://smartpy.io/dev/: Online editor to write smart contracts in SmartPy.
• Try-Archetype: https://gitpod.io/#https://github.com/edukera/try-archetype: Online editor to write smart contracts in Archetype.
• LIGO IDE https://ide.ligolang.org/: Online editor to write smart contracts in LIGO.
• sol2ligo Transpiler https://madfish-solutions.github.io/sol2ligo/: Tool to migrate Solidity smart contracts to LIGO.
• Tplus https://tplus.dev/tplus: Tool to manage Tezos environments (sandboxes and public nodes).
• Michelson - IntelliJ https://www.plugin-dev.com/plugins/tezos-michelson/: Michelson Plugin for IntelliJ.
• Michelson Emacs Mode https://github.com/tezos/tezos/tree/master/emacs: Michelson Plugin for Emacs.
• Granary https://stove-labs.github.io/granary/: Tezos Development Toolkit.
• Truffle https://www.trufflesuite.com/docs/tezos/truffle/quickstart: Development environment, testing framework, and asset pipeline.
• Tezster https://github.com/Tezsure/Tezster-CLI: Testing tool for Tezos.
• Magic's Testnet Faucet https://magic-tezos-faucet.now.sh/: A simple faucet for a Tezos Testnet.
• Testnet Faucet https://faucet.tzalpha.net/: Faucet for a Tezos testnet.
• Mainnet Faucet https://faucet.tezos.com/: Faucet for the Tezos Mainnet.
• Testnet Faucet Bot https://t.me/tezos_faucet_bot: Telegram Faucet Bot for Tezos testnets.
• Tezos Giga Node https://tezos.giganode.io/: Reliable and geographically distributed Tezos public node infrastructure.
• TezosLive https://www.tezoslive.io/: GraphQL API to the Tezos Node RPC.
• Nautilus Cloud https://nautilus.cloud/: A full suite of tools to develop and deploy Tezos applications.
• Tezos Link https://tezoslink.io/: Scalable API access to the Tezos network.

Education/Training

• Sol2Ligo handbook https://madfish-solutions.github.io/sol2ligo-course/#/: Learn Ligo and write Tezos smart contracts with the interactive tool. Convert your Solidity contracts to Ligo easily.
• Blockmatics SmartPy Developer Course https://training.blockmatics.io/p/tezos-smartpy-developer-course/: Blockmatics’ SmartPy Developer Course teaches the basics of SmartPy and the SmartPy IDE.
• Cryptoverse Wars (SmartPy) https://cryptocodeschool.in/tezos/overview: Cryptoverse Wars is a fun interactive code school developed by BUIDL Labs that teaches developers how to write smart contracts in SmartPy.
• Tezos Academy (LIGO) https://tezosacademy.io/: Tezos Academy is a fun interactive tutorial developed by OCTO Technology on how to code smart contracts in LIGO.
• Tezos Training at Nomadic Labs https://training.nomadic-labs.com/training.html: After running successfully through all the steps of this training session, you will be able to run a Tezos node (test network/sandboxed), use the Michelson emacs mode, and compile pieces of code in both LIGO and SmartPy.
• TQ Digital Assets Portal https://assets.tqtezos.com/docs/intro/: This documentation aims to help developers streamline the implementation, integration, and use of digital assets on Tezos.
• Getting Started with LIGO https://medium.com/coinmonks/getting-started-with-ligo-13ea2c4e844e: These tutorials by Claude Barde walk-through how to create smart contracts on the Tezos blockchain using the LIGO language.
• Cryptonomic Developer Portal https://cryptonomic.tech/developers.html: Cryptonomic’s tech stack makes it easy to develop and deploy Tezos applications.
• An Introduction to Michelson https://medium.com/better-programming/introduction-to-michelson-the-language-of-tezos-part-1-374c03394cc3: These tutorials by Claude Barde walk-through how to use the Michelson programming language and write smart contracts on Tezos.
• Michelson Labs https://michelson.baking-bad.org/: Series of Jupyter notebooks for learning the Tezos native contract language.
• PyTezos Labs https://pytezos.baking-bad.org/: Series of Jupyter notebooks for learning Tezos internals with Python.
• CoinList-Tezos Hackathon Workshops https://www.youtube.com/playlist?list=PLZYHxOo6wufh2XacXH2YyeSecR3qMk0lH: Online workshops from the development teams of tools such as Truffle, Magic, SmartPy, LIGO, and more.
• Tezos Developer Documentation https://tezos.gitlab.io/: A complete Tezos documentation resource for developers.
• TezEdge Tezos documentation https://docs.tezedge.com/introduction/tezos: A documentation resource by the TezEdge team.
• TQ Tezos Wiki https://wiki.tezosagora.org/: A Tezos wiki by the TQ Tezos team. Learn about Tezos basics, proof-of-stake in Tezos, governance, smart contracts, and more.

Wallets

• Temple Wallet https://templewallet.com/: Cryptocurrency wallet for the Tezos blockchain

  as a Web Extension for your Browser.

• Kukaï: https://wallet.kukai.app/: A software wallet enabling social network authentication.
• Galleon https://cryptonomic.tech/galleon.html: A software wallet for Desktop.
• Umami https://umamiwallet.com/: A software wallet for Desktop.
• Ledger https://www.ledger.com/staking-tezos: An hardware wallet.

Helm charts

• tezos-helm-chart https://github.com/tqtezos/tezos-helm-charts
• tezos-k8s-helm-chart https://github.com/tqtezos/tezos-k8s#tezos-k8s-helm-chart

Node monitoring

• tezos-metrics https://gitlab.com/nomadic-labs/tezos-metrics/
• net-dada https://www.netdata.cloud/
• prometheus (need net-data and tezos-metrics both installed) https://prometheus.io/
• grafana (need prometeus installed) https://grafana.com/

Formal verification

• https://gitlab.com/nomadic-labs/mi-cho-coq/blob/master/doc/talk_15_10_2019/talk_multisig.pdf
• https://gitlab.com/nomadic-labs/mi-cho-coq/