runtimeverification/avm-semantics external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

runtimeverification/avm-semantics

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/runtimeverification/avm-semantics)

Close

runtimeverification / avm-semanticsView on GitHubMore

• External links
• Readme badge

☆15Oct 1, 2025Updated 5 months ago

Alternatives and similar repositories for avm-semantics

Users that are interested in avm-semantics are comparing it to the libraries listed below

• algorand / graviton

  View on GitHub
  Graviton: verify your TEAL program by experiment and observation
  ☆18Feb 20, 2025Updated last year
• Hipo / tealinspector

  View on GitHub
  The Teal Inspector for lovely Algorand Developers
  ☆14Nov 17, 2022Updated 3 years ago
• algorandfoundation / algo-metamask

  View on GitHub
  Adds Algorand support to Metamask
  ☆13Feb 25, 2024Updated 2 years ago
• intelli-scripts / dappflow

  View on GitHub
  ☆12Feb 20, 2023Updated 3 years ago
• grzracz / WebVRF

  View on GitHub
  Algorand VRF library to generate and verify VRF proofs in a web browser
  ☆10Aug 24, 2024Updated last year
• petitnau / algoml

  View on GitHub
  A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
  ☆24Jun 14, 2022Updated 3 years ago
• algorandfoundation / did-algo

  View on GitHub
  The "algo" DID Method specification and tools.
  ☆20Mar 3, 2026Updated 2 weeks ago
• algorandfoundation / algokit-subscriber-ts

  View on GitHub
  Simple, but flexible / configurable Algorand transaction subscription / indexing mechanism
  ☆17Mar 12, 2026Updated last week
• kibis-is / web-extension

  View on GitHub
  This is the Kibisis web extension built in React, TypeScript and Webpack.
  ☆17Aug 10, 2025Updated 7 months ago
• Helium-Labs / Puya-BigNumber

  View on GitHub
  Math Library for big numbers in Puya for Algorand
  ☆12Sep 19, 2024Updated last year
• crytic / tealer

  View on GitHub
  Static Analyzer for Teal
  ☆63Feb 8, 2024Updated 2 years ago
• hone-labs / teal-debugger-extension

  View on GitHub
  A TEAL debugger extension for VS Code.
  ☆13Jul 5, 2022Updated 3 years ago
• algorand-devrel / demo-abi

  View on GitHub
  ☆15Jan 24, 2023Updated 3 years ago
• TxnLab / use-wallet

  View on GitHub
  A framework agnostic wallet integration library for Algorand dApps
  ☆101Updated this week
• ulamlabs / pytealext

  View on GitHub
  Language extensions for PyTEAL on Algorand
  ☆12Feb 6, 2023Updated 3 years ago
• AlgoNode / algostreamer

  View on GitHub
  Stream new blocks to various services (redis/elasticsearch/...)
  ☆14Sep 10, 2025Updated 6 months ago
• akaalias / algorand-ballet

  View on GitHub
  A qualitative analysis tool for the Algorand blockchain
  ☆16Nov 2, 2022Updated 3 years ago
• grzracz / OrangeApp

  View on GitHub
  Orange App for mining Orange
  ☆10Jan 15, 2025Updated last year
• algorand-devrel / community

  View on GitHub
  ☆11Updated this week
• algorand / node-ui

  View on GitHub
  Terminal UI for remote Algorand node management.
  ☆27Jul 7, 2023Updated 2 years ago
• algorandfoundation / puya-ts

  View on GitHub
  ☆16Mar 13, 2026Updated last week
• algorandfoundation / algokit-avm-vscode-debugger

  View on GitHub
  A Visual Studio Code extension for debugging TEAL using AVM trace files via the AVM debug adapter
  ☆13Jan 26, 2026Updated last month
• algorandfoundation / devportal

  View on GitHub
  ☆25Updated this week
• algorandfoundation / TEALScript

  View on GitHub
  A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE s…
  ☆53Dec 17, 2025Updated 3 months ago
• AlgoNode / alloctrl

  View on GitHub
  ☆15Jul 28, 2023Updated 2 years ago
• barnjamin / zk-experiments

  View on GitHub
  ☆12Jan 12, 2023Updated 3 years ago
• ori-shem-tov / vrf-oracle

  View on GitHub
  ☆14Nov 23, 2022Updated 3 years ago
• pzbitskiy / tealang

  View on GitHub
  Tealang - high level language for Algorand ASC1 and TEAL
  ☆37Apr 16, 2022Updated 3 years ago
• giuliop / AlgoPlonk

  View on GitHub
  The power of zero knowledge proofs on the Algorand blockchain
  ☆70Feb 24, 2026Updated 3 weeks ago
• giuliop / HermesVault

  View on GitHub
  Private transactions on Algorand
  ☆34Jun 3, 2025Updated 9 months ago
• tinymanorg / tealish

  View on GitHub
  Tealish: A readable language for Algorand
  ☆96May 15, 2025Updated 10 months ago
• Hipo / algojig

  View on GitHub
  A development and testing jig for Algorand
  ☆18May 15, 2025Updated 10 months ago
• algorand / pyteal-utils

  View on GitHub
  ☆29Apr 7, 2023Updated 2 years ago
• algorandfoundation / liquid-auth

  View on GitHub
  Liquid Auth Service
  ☆32Mar 10, 2026Updated last week
• perawallet / pera-ios

  View on GitHub
  The iOS repository of Pera
  ☆11Updated this week
• tmc / goteal

  View on GitHub
  Go to TEAL compiler
  ☆10Aug 20, 2021Updated 4 years ago
• No-Cash-7970 / txnDuck

  View on GitHub
  Transaction building tool for Algorand blockchain
  ☆19Feb 27, 2026Updated 3 weeks ago
• algorandfoundation / algokit-utils-py

  View on GitHub
  ☆19Mar 12, 2026Updated last week
• paulfears / snapalgo

  View on GitHub
  Adds the algorand cryptocurrency to metamask
  ☆14May 26, 2023Updated 2 years ago