Nomadic Labs knowledge center
Nomadic LabsTezos Developer PortalTezos stack exchangeTezos Agora
  • 👋Introduction
  • Understanding the Tezos blockchain
  • 🧑‍🍳Baking - Creating blocks on the Tezos blockchain (DEPRECATED)
  • 🖥️Nodes in the Tezos blockchain (DEPRECATED)
  • 🔁Tezos Amendment Process (DEPRECATED)
  • 🎟️Tickets (DEPRECATED)
  • 🔏Sapling - Make confidential transactions on Tezos (DEPRECATED)
  • ✍️Formal Verification
  • How-To
    • 🛠️Spin up a Tezos baking node (DEPRECATED)
    • 💡Prepare your baker for Ithaca2 (DEPRECATED)
    • 🔂Run a persistent baking node (DEPRECATED)
    • 🔌Select a public node (DEPRECATED)
    • 💻Run a Tezos node (DEPRECATED)
    • 🙋‍♂️Demonstrate ownership of a tz address (DEPRECATED)
    • 📥Submit transactions to a specific baker (DEPRECATED)
    • 🚀Estimate Tezos performances (DEPRECATED)
    • 💰Estimate transaction cost (DEPRECATED)
  • Decentralized Applications
    • 💸DeFi on the Tezos blockchain
    • 🎨Non-Fungible Tokens (NFTs) on the Tezos blockchain
    • 🏗️Home Base DAO
    • 🆔Self-sovereign Identities
      • Introduction
      • Issues surrounding decentralized identity
      • Development of the notion of identity
      • Decentralized identifiers
      • Decentralized identity platforms
      • Tezos and decentralized identity
      • Sources & bibliography
  • Projects
    • 🇪🇺EuroTz
    • ☑️Whitelist smart contract
    • 🎨Rarible
  • Tools
    • 🔧Recommended tooling
  • FAQ
    • ❓Installation & data volume
    • ❔Network flow
Powered by GitBook
On this page
  • Official repositories
  • Official documentation
  • Setting up dependencies
  • Running a node
  • Running a baker
  • Interacting with Tezos nodes
  • CLI
  • Libraries
  • Writing and building smart contracts
  • Explorers
  • Tools
  • Education/Training
  • Wallets
  • Helm charts
  • Node monitoring
  • Formal verification

Was this helpful?

  1. Tools

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/

PreviousRaribleNextInstallation & data volume

Last updated 3 years ago

Was this helpful?

🔧