runtimeverification / avm-semantics

Related projects ⓘ

Alternatives and complementary repositories for avm-semantics

• algorandfoundation / algo-metamask
  Adds Algorand support to Metamask
  ☆11Updated 8 months ago
• AlgoNode / algostreamer
  Stream new blocks to various services (redis/elasticsearch/...)
  ☆13Updated 2 weeks ago
• algorand-devrel / community
  ☆11Updated this week
• kibis-is / web-extension
  This is the Kibisis web extension built in React, TypeScript and Webpack.
  ☆14Updated this week
• intelli-scripts / dappflow
  ☆12Updated last year
• barnjamin / zk-experiments
  ☆12Updated last year
• algorandfoundation / algokit-subscriber-ts
  Simple, but flexible / configurable Algorand transaction subscription / indexing mechanism
  ☆14Updated 3 weeks ago
• ghostbits / awesome-algorand
  Awesome list of projects and resources for the Algorand ecosystem
  ☆19Updated 2 years ago
• awesome-algorand / awesomealgo-hooks
  🪝 Collection of helpful React Hooks for building Algorand DApps
  ☆15Updated 4 months ago
• giuliop / HermesVault
  Private transactions on Algorand
  ☆23Updated 5 months ago
• HashMapsData2Value / Algorand-Community-Study-Group
  Repository for organizing information and resources related to the Algorand community study group.
  ☆14Updated last year
• giuliop / AlgoPlonk
  The power of zero knowledge proofs on the Algorand blockchain
  ☆44Updated 6 months ago
• AlgoNode / light-indexer
  Docker compose based light Algorand indexer
  ☆11Updated 2 months ago
• algorand-devrel / demo-abi
  ☆14Updated last year
• algorandlabs / smart-asa
  Smart ASA reference implementation
  ☆32Updated 8 months ago
• algorand / pyteal-utils
  ☆28Updated last year
• code-alexander / algobase
  A type-safe Python library for interacting with assets on Algorand.
  ☆27Updated last month
• petitnau / algoml
  A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
  ☆24Updated 2 years ago
• VKappaKV / Zero-To-Hero-blockchain-Algorand
  A curated walkthrough to start your journey as a blockchain developer and become an Algorand Pro 0️⃣ -> 🦸🏼‍♂️
  ☆12Updated last week
• AlgoNode / alloctrl
  ☆13Updated last year
• algorandfoundation / did-algo
  The "algo" DID Method specification and tools.
  ☆18Updated 5 months ago
• pzbitskiy / tealang
  Tealang - high level language for Algorand ASC1 and TEAL
  ☆37Updated 2 years ago
• ori-shem-tov / vrf-oracle
  ☆14Updated last year
• algorandfoundation / reti
  Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives
  ☆24Updated last week
• hone-labs / teal-interpreter
  An interpreter for TEAL assembly code that simulates the Algorand virtual machine.
  ☆9Updated last year
• Helium-Labs / Puya-BigNumber
  Math Library for big numbers in Puya for Algorand
  ☆12Updated 2 months ago
• algorandfoundation / algokit
  One stop shop for all AlgoKit related repos
  ☆26Updated 7 months ago
• paulfears / snapalgo
  Adds the algorand cryptocurrency to metamask
  ☆14Updated last year