runtimeverification / avm-semantics
β15Updated 3 months ago
Alternatives and similar repositories for avm-semantics:
Users that are interested in avm-semantics are comparing it to the libraries listed below
- π§βπ¬ verify your TEAL program by experiment and observationβ17Updated last year
- β11Updated this week
- β12Updated 2 years ago
- A development and testing jig for Algorandβ15Updated 3 months ago
- Adds Algorand support to Metamaskβ12Updated 11 months ago
- This is the Kibisis web extension built in React, TypeScript and Webpack.β14Updated last month
- Stream new blocks to various services (redis/elasticsearch/...)β14Updated 3 weeks ago
- β12Updated last year
- πͺ Collection of helpful React Hooks for building Algorand DAppsβ15Updated 6 months ago
- Simple, but flexible / configurable Algorand transaction subscription / indexing mechanismβ14Updated this week
- Repository for organizing information and resources related to the Algorand community study group.β14Updated last year
- Private transactions on Algorandβ23Updated 8 months ago
- A curated walkthrough to start your journey as a blockchain developer and become an Algorand Pro 0οΈβ£ -> π¦ΈπΌββοΈβ13Updated 2 months ago
- A Visual Studio Code extension for debugging TEAL using AVM trace files via the AVM debug adapterβ11Updated 2 weeks ago
- Awesome list of projects and resources for the Algorand ecosystemβ20Updated 3 years ago
- Repository that publishes the Algorand Technology Radar. Meant to provide a snapshot of the ATAC (Algorand Technical Adoption Committee) β¦β11Updated 5 months ago
- Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentivesβ25Updated this week
- β15Updated last year
- Math Library for big numbers in Puya for Algorandβ12Updated 4 months ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.β24Updated 2 years ago
- Smart ASA reference implementationβ32Updated 10 months ago
- Docker compose based light Algorand indexerβ12Updated 4 months ago
- public websiteβ10Updated 2 years ago
- β14Updated 2 years ago
- The Teal Inspector for lovely Algorand Developersβ15Updated 2 years ago
- β14Updated 2 years ago
- β13Updated this week
- Adds the algorand cryptocurrency to metamaskβ14Updated last year
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.β9Updated last year
- The "algo" DID Method specification and tools.β18Updated 7 months ago