JavaScript
Showing 100 posts related with JavaScript.
-
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 · 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.
-
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.
-
Intermediate · 30 minutes
Integromat Integrations - Part 1: Transfer Transaction Details to Clickup
In this tutorial, we will explain how to monitor your wallet and record all transactions on Clickup. After this explanation, you will be able to automatically record all transactions that took place on your wallet by using Integromat.
-
Beginner · 15 minutes or less
Test your Algorand ORE ID Integration
Testing your ORE ID app setup can be done easily on the developer dashboard. This includes testing your app’s account creation using any of the Oauth platforms, and signing transactions and can be done on both test and production apps.
