VS Code
Showing 56 posts related with VS Code.
-
Intermediate Bootcamp: TypeScript
 **Project:** Digital Marketplace **Project Description:** This is the next step after the beginner bootcamp project. You will use TypeScript to improve your digital marketplace app with new features such as “unique smart contract,” “listing fees,” etc., to create a more realistic and strong decentralized application. **Time: 10:00 AM EST** each day. **Agenda:** * Session 1 (May 27th): Building multiple listing features for a single contract * Session 2 (May 28th): Enhancing front-end features to display all listings * Session 3 (May 29th): Adding an auction contract to available listings * Session 4 (May 30th): Updating front-end auction features and deploying to TestNet **Prerequisites: ** * Completion of Beginner bootcamp content * [VS Code](https://code.visualstudio.com/) (Recommended) * [Git](https://git-scm.com/downloads) * [Docker Desktop](https://www.docker.com/products/docker-desktop/) * [NodeJS](https://nodejs.org/en/download) _Installation Guides_ ([macOS](https://www.youtube.com/watch?v=zsurtpCGmgE), [Windows](https://www.youtube.com/watch?v=22RvINnZsRo)) **Why Algorand?** Algorand is an enterprise-grade programmable layer-1 blockchain – the perfect place to start (or continue) your blockchain journey. * Blocks on Algorand are processed in under 3 seconds. * The Algorand network can process more than 10,000 transactions per second, all with instant finality. * The cost per transaction is 0.001 Algo (just a fraction of a cent). * Algorand is carbon-neutral and built environmentally friendly from the ground up. * Testing on Algorand is fast and cost-efficient, allowing you to innovate without friction. Plus, it has a wealth of developer tooling, tutorials, and documentation. Ready for the best bit? If you’re a Python or TypeScript dev, you don’t need to learn a new language because you can build on Algorand in Python and TypeScript. It’s easy to get building thanks to [AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (our solution to speed up your Web3 building process).
-
Intermediate Bootcamp Python Español
 **Proyecto:** Digital Marketplace. **Descripción del proyecto:** Este es el siguiente paso después del Beginner Bootcamp. Usarás Python para mejorar tu aplicación de digital marketplace con nuevas características como "contrato inteligente único", "comisiones de publicación y ventas" y mucho más que harán que tu aplicación descentralizada sea más realista y robusta. **Horario:** * 06:00 PM (Colombia, Perú) * 20:00 (Argentina) **Agenda** * Sesión 1 (Agosto 26): Creación de una función de listado múltiple para un único contrato * Sesión 2 (Agosto 27): Mejora de las características del front-end para mostrar todos los assets listados * Sesión 3 (Agosto 28): Añadir un contrato de subasta a los assets listados disponibles * Sesión 4 (Agosto 29): Actualización del front-end para la funcion de subasta y despliegue en TestNet **Pre-requisitos: ** * Haber completado el Bootcamp Beginner * [VS Code](https://code.visualstudio.com/) (Recomendado) * [Git](https://git-scm.com/downloads) * [Docker Desktop](https://www.docker.com/products/docker-desktop/) * [Python 3.10+](https://www.python.org/downloads/) * [NodeJS](https://nodejs.org/en/download) _Guías de instalación_ ([macOS](https://youtu.be/Kpf10h1wBgw?feature=shared), [Windows](https://youtu.be/hogThe-vgs8?feature=shared)) **¿Por qué Algorand?** Algorand es una blockchain capa 1 programable de nivel empresarial, es el lugar perfecto para comenzar (o continuar) tu viaje en blockchain. * Los bloques en Algorand se procesan en menos de 3 segundos. * La red Algorand puede procesar más de 10.000 transacciones por segundo, todas con finalidad instantánea. * El costo por transacción es de 0.001 Algo (sólo una fracción de céntimo de dolar). * Algorand es carbono neutral, diseñada desde el principio para ser amigable con el medio ambiente. * Las pruebas en Algorand son rápidas y económicas, lo que le permite innovar sin fricciones. * Además, cuenta con una gran cantidad de herramientas para desarrolladores, tutoriales y documentación. ¿Listo para lo mejor? Si eres un desarrollador de Python o TypeScript, no necesitas aprender un nuevo lenguaje porque puedes construir en Algorand usando Python y TypeScript. Es fácil empezar a construir gracias a[ AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (nuestra solución para acelerar tu proceso de construcción en Web3).
-
Intro Bootcamp Español
 **Proyecto:** Creación y transacción de assets utilizando Algokit SDK. **Descripción del Bootcamp:** Una de las principales características de Algorand es la posibilidad de crear cuentas, assets y enviar transacciones sin necesidad de un contrato inteligente. Por eso hemos creado este bootcamp, para ayudarte a dar tus primeros pasos en el mundo del desarrollo en Algorand utilizando el SDK de AlgoKit. **Horario:** * 06:00 PM (Colombia, Perú) * 20:00 (Argentina) **Agenda** * Sesión 1 (Abril 2): Introducción a los conceptos de Algorand y uso del SDK. * Sesión 2 (Abril 4): Uso de AlgoKit y configuración del entorno de desarrollo. **Pre-requisitos: ** * Cuenta de GitHub - [Regístrate ](https://github.com/signup) * [VS Code](https://code.visualstudio.com/) (Recomendado) **¿Por qué Algorand?** Algorand es una blockchain capa 1 programable de nivel empresarial, es el lugar perfecto para comenzar (o continuar) tu viaje en blockchain. * Los bloques en Algorand se procesan en menos de 3 segundos. * La red Algorand puede procesar más de 10.000 transacciones por segundo, todas con finalidad instantánea. * El coste por transacción es de 0.001 Algo (sólo una fracción de céntimo de dolar). * Algorand es carbono neutral, diseñada desde el principio para ser amigable con el medio ambiente * Las pruebas en Algorand son rápidas y económicas, lo que le permite innovar sin fricciones. * Además, cuenta con una gran cantidad de herramientas para desarrolladores, tutoriales y documentación. ¿Listo para lo mejor? Si eres un desarrollador de Python o TypeScript, no necesitas aprender un nuevo lenguaje porque puedes construir en Algorand usando Python y TypeScript. Es fácil empezar a construir gracias a[ AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (nuestra solución para acelerar tu proceso de construcción en Web3).
-
Beginner Bootcamp TypeScript Español
 **Proyecto:** Digital Marketplace. **Descripción del proyecto:** Aprende a usar TypeScript para crear una aplicación descentralizada (smart contract + front-end) de un Marketplace digital, en el que podrás publicar productos digitales (assets) para vender, definir un precio y permitir a los usuarios finales comprarlos. **Horario:** * 06:00 PM (Colombia, Perú) * 20:00 (Argentina) **Agenda** * Sesión 1 (Abril 29): Diseño e implementación de un smart contract de un marketplace digital usando TypeScript * Sesión 2 (Abril 30): Testing de los métodos dentro de tu smart contract en TypeScript * Sesión 3 (Mayo 01): Construyendo un front-end para tu smart contract usando TypeScript * Sesión 4 (Mayo 02): Integrando el smart contract y el front-end **Pre-requisitos: ** * [VS Code](https://code.visualstudio.com/) (Recomendado) * [Git](https://git-scm.com/downloads) * [Docker Desktop](https://www.docker.com/products/docker-desktop/) * [NodeJS](https://nodejs.org/en/download) _Guías de instalación_ ([macOS](https://www.youtube.com/watch?v=zsurtpCGmgE), [Windows](https://www.youtube.com/watch?v=22RvINnZsRo)) **¿Por qué Algorand?** Algorand es una blockchain capa 1 programable de nivel empresarial, es el lugar perfecto para comenzar (o continuar) tu viaje en blockchain. * Los bloques en Algorand se procesan en menos de 3 segundos. * La red Algorand puede procesar más de 10.000 transacciones por segundo, todas con finalidad instantánea. * El costo por transacción es de 0.001 Algo (sólo una fracción de céntimo de dolar). * Algorand es carbono neutral, diseñada desde el principio para ser amigable con el medio ambiente. * Las pruebas en Algorand son rápidas y económicas, lo que le permite innovar sin fricciones. * Además, cuenta con una gran cantidad de herramientas para desarrolladores, tutoriales y documentación. ¿Listo para lo mejor? Si eres un desarrollador de Python o TypeScript, no necesitas aprender un nuevo lenguaje porque puedes construir en Algorand usando Python y TypeScript. Es fácil empezar a construir gracias a[ AlgoKit](https://developer.algorand.org/algokit/?utm_source=devportal&utm_medium=bootcamp_landingpage&utm_campaign=algokit) (nuestra solución para acelerar tu proceso de construcción en Web3).
-
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.
-
Algorand Microsoft Developer Tools Rock!
Algorand has many tools for .NET developers. In fact, it has never been easier to develop blockchain solutions. Algorand has an excellent developer toolset for .NET solution development including: * Algorand for Visual Studio Extension * .NET SDK * Unity SDK * Unreal SDK * Visual C++ SDK
