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

Beginner · 1 hour

Stateless session management with the Pera wallet

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

Algo Doggo

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 · 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

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

Beginner · 1 hour

Working with ASA Using JavaScript

This tutorial demonstrates the steps involved in creating a basic Algorand Standard Asset [(ASA)](https://developer.algorand.org/docs/features/asa/) using [JavaScript SDK](https://github.com/algorand/js-algorand-sdk).

Russell Fustino Algorand

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

Beginner · 15 minutes or less

Access BetaNet Network using Sandbox

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

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 · 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

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

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 · 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 · 30 minutes

A Crowdfunding DApp on the Algorand Network

A Crowdfunding Application built on the Algorand Network with the .NET Core framework. This will enable people crowdfund for their projects/businesses using the algorand protocol.

Stephen Sunday KusuConsult

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.