Algorand Developer Portal

Intermediate · 1 hour +

Using loop invariants for verification in Reach

Loops can be quite useful for writing Reach programs but verifying the outcome of loops can be challenging. In this tutorial, we will go through a tour of one of the most important features of Reach - automatic verification of loops using invariants.

Anmol

Intermediate · 1 hour +

Milestone Dapp Built with Pyteal

We will build a decentralized milestone based application using pyteal and Python. PyTeal is used to write the smart contracts whereas interacting with them is done via Python using the `py-algorand-sdk`.

Oluwatunmise Olatunbosun

Beginner · 1 hour

Working with ASA using Java

This tutorial demonstrates the steps involved in creating a basic Algorand Standard Asset using Java.

Russell Fustino Algorand

Intermediate · 30 minutes

Algo Builder Tutorial Part 2: Stateless Smart Contracts

Building Smart Contracts with Algo Builder. Our goal is to make shipping Algorand applications simple, efficient, and scalable.

Robert Zaremba Algorand Builder

Intermediate · 30 minutes

Algorand serverless application on AWS Lambda

Learn how to develop and deploy Algorand serverless applications on AWS Lambda

David Ciamberlano

Beginner · 15 minutes or less

Restful Algorand API with Spring Boot

By leveraging a simple Algorand Spring Boot starter, and implementing the Spring Web library, we can easily standup a Restful API to allow users to interact with the Algorand ecosystem.

babcoccl

Beginner · 1 hour

Create and test smart contracts using Python

Create two smart contracts using Python Algorand SDK and PyTeal, then test their implementation using pytest.

Ivica Paleka

Intermediate · 1 hour

Royalty Fees in Algorand Using PyTeal

This is a short tutorial that explains how to implement Royalty Fees using Inner Transactions and Teal v5 capabilities in Algorand.

Alessio Russo KTH

Intermediate · 30 minutes

Hash Time Lock Contract Template With Python

Build a Smart Contract that functions as a HTLC using Python

Jason Weathersby Algorand

Intermediate · 1 hour

Creating a License Manager Contract utilizing PyTEAL and Inner Transactions

This tutorial will introduce the reader to using Inner Transactions in PyTEAL using an example scenario: A License Manager Contract

Julian Weber

Beginner · 1 hour

Stateless session management with the Pera wallet

Leveraging Wallet Connect, NextJs and Redux to securely login users.

Algo Doggo

Intermediate · 1 hour

Participate in Consensus from Ledger Nano S/X

In this tutorial, we show how to participate in consensus from an account stored in a Ledger Nano S or X. By participating in consensus, you help decentralize the network.

Fabrice Benhamouda Algorand

Beginner · 15 minutes or less

Access BetaNet Network using your own node and goal

This tutorial describes how to setup and update a BetaNet network using your own node and goal.

Russell Fustino Algorand

Intermediate · 1 hour

Integrating ALGO and ASA transfers within your application

Learn how to integrate your application with Algo or ASA by walking through code examples.

Alex Bakoushin Web3

Beginner · 1 hour

Working with ASA using Go

This tutorial demonstrates the steps involved in creating a basic Algorand Standard Asset using Go

Russell Fustino Algorand

Beginner · 15 minutes or less

Access BetaNet Network using Sandbox

This tutorial describes how to access the BetaNet network using Sandbox.

Russell Fustino Algorand

Reach - The Easiest and Safest way to Build DApps

Blockchain development is hard. Existing tooling is complex, time-consuming to use and not robust against common programming oversights. Reach is fundamentally changing the way blockchain developers approach their craft, safely, efficiently and with formal proofs.