Recommended tooling

Nomadic Labs Tezos Developer Portal Tezos stack exchange Tezos Agora
Search…
🔧
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/