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 · 15 minutes or less

Split Contract Template with Java

An example walkthrough of the Split Contract Template in Java

Jason Weathersby Algorand

Beginner · 30 minutes

Verify identity using a credential network

Build and test a smart contract in which accounts vouch for one-anther's credentials to establish a network of trust.

Garrin McGoldrick

Intermediate · 30 minutes

Algorand Studio | Tutorial 3: Smart Contract Limit Order

Introduce the Algorand Standard Asset (ASA) model and work through the LimitOrder smart contract to learn issuing your own ASA & using the smart contract to exchange ALGO for an ASA.

Phil Li Obsidian Labs

Intermediate · 15 minutes or less

Algorand Blockchain Development using Reach Part 1

The future is bright for Algorand and Algorand Blockchain Developers. Tools like Reach are going to be the forefront of CrossChain / MultiChain development.

Kwame Bryan Developer Ambassador

Intermediate · 1 hour

Run Algorand Indexer on Azure with Azure CLI

This tutorial is a step by step guide on how to deploy and run an Algorand Indexer on Microsoft Azure using Azure CLI

Dame Seiel

Intermediate · 30 minutes

Build a SolidJS Web App with Wallet Integration

Create a web app with SolidJS and the solid-algo-wallets library to enable users to sign Algorand transactions with their wallet

Brian Whippo

Intermediate · 1 hour

Algorand-Telegram Interactions: Part 1 - The Basics

Create a Telegram Bot which connects your username to your Algorand account, then invoke some transactions.

Oluwatosin Bello DevAms

Beginner · 15 minutes or less

Using VS Code with Java

This tutorial will facilitate how to debug using Visual Studio (VS) Code using Java

Russell Fustino Algorand

Intermediate · 30 minutes

Algorand Studio | Tutorial 2: Smart Contract Dynamic Fee

Use Algorand Studio for ASC development including creating a project, coding, compiling, and constructing transactions to execute the smart contract.

Phil Li Obsidian Labs

Beginner · 1 hour

Writing a Simple Smart Contract

Example showing how to build a simple smart contract.

Jason Weathersby Algorand

Intermediate · 1 hour

Building a lending pool using Reach

A lending pool is a contract which can be use to lend and borrow funds, tokenize debt and track interest earned or due. We will use Reach to build such a lending pool and see how the high level features make it easy to write such complex apps.

Anmol

Intermediate · 30 minutes

Algorand Blockchain Development using Reach - Part 6: Looping to Determine the Winner

In this tutorial, we explore loops in Reach. As dApp developers must take special care when performing loops within a consensus network. Thankfully, the Reach verification engine assures we write safe dApps.

Kwame Bryan Developer Ambassador

Beginner · 30 minutes

Algorand Studio | Tutorial 1: Basic Features

Set up your local machine for Algorand development using Algorand Studio, includes a walk through its basic features.

Phil Li Obsidian Labs

Intermediate · 30 minutes

Algo Builder Tutorial Part 3: Stateful Smart Contracts

This is the third tutorial from the Algo Builder series. In this tutorial we present how `algob` helps the developers to wield the power of Stateful Smart Contracts with TEAL.