automation
Showing 81 posts related with automation.
-
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.
-
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`.
-
Beginner · 1 hour
Working with ASA using Java
This tutorial demonstrates the steps involved in creating a basic Algorand Standard Asset using Java.
-
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.
-
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.
-
Intermediate · 30 minutes
Algorand serverless application on AWS Lambda
Learn how to develop and deploy Algorand serverless applications on AWS Lambda
-
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
-
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.
-
Beginner · 1 hour
Create a Node on Azure & Sign Transactions with Azure Key Vault and Python
In this tutorial, you will learn how to deploy an Azure Linux Virtual Machine and install an Algorand node on it. This tutorial will also go over how to sign a Transaction with Azure KeyVault.
-
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.
-
Beginner · 1 hour
Stateless session management with the Pera wallet
Leveraging Wallet Connect, NextJs and Redux to securely login users.
-
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.
-
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.
-
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.
-
Beginner · 15 minutes or less
Access BetaNet Network using Sandbox
This tutorial describes how to access the BetaNet network using Sandbox.
-
Beginner · 1 hour
Working with ASA using Go
This tutorial demonstrates the steps involved in creating a basic Algorand Standard Asset using Go
-
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.
-
Building NFTs on Algorand
This article summarizes some of the options available to developers when building NFTs on the Algorand Blockchain.