runtimeverification / avm-semantics

Related projects: ⓘ

• algorand / graviton
  🧑‍🔬 verify your TEAL program by experiment and observation
  ☆17Updated last year
• algorandfoundation / algo-metamask
  Adds Algorand support to Metamask
  ☆12Updated 6 months ago
• Hipo / algojig
  A development and testing jig for Algorand
  ☆15Updated 4 months ago
• AlgoNode / algostreamer
  Stream new blocks to various services (redis/elasticsearch/...)
  ☆13Updated 8 months ago
• algorand-devrel / community
  ☆11Updated this week
• algorandfoundation / algokit-subscriber-ts
  Simple, but flexible / configurable Algorand transaction subscription / indexing mechanism
  ☆12Updated 2 weeks ago
• intelli-scripts / dappflow
  ☆12Updated last year
• algorand-devrel / beaker-ts
  ☆17Updated this week
• algorand-devrel / beaker-starter-kit
  ☆19Updated this week
• agoralabs-sh / kibisis-web-extension
  This is the Kibisis web extension built in React, TypeScript and Webpack.
  ☆14Updated this week
• awesome-algorand / awesomealgo-hooks
  🪝 Collection of helpful React Hooks for building Algorand DApps
  ☆15Updated 2 months ago
• ghostbits / awesome-algorand
  Awesome list of projects and resources for the Algorand ecosystem
  ☆19Updated 2 years ago
• HashMapsData2Value / Algorand-Community-Study-Group
  Repository for organizing information and resources related to the Algorand community study group.
  ☆14Updated last year
• petitnau / algoml
  A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
  ☆25Updated 2 years ago
• algorandfoundation / technical-adoption-committee
  Repository that publishes the Algorand Technology Radar. Meant to provide a snapshot of the ATAC (Algorand Technical Adoption Committee) …
  ☆11Updated 3 weeks ago
• algorand-devrel / demo-abi
  ☆14Updated last year
• AlgoNode / light-indexer
  Docker compose based light Algorand indexer
  ☆10Updated 2 months ago
• giuliop / HermesVault
  Private transactions on Algorand
  ☆23Updated 3 months ago
• giuliop / AlgoPlonk
  The power of zero knowledge proofs on the Algorand blockchain
  ☆43Updated 4 months ago
• ori-shem-tov / vrf-oracle
  ☆14Updated last year
• code-alexander / algobase
  A type-safe Python library for interacting with assets on Algorand.
  ☆27Updated last month
• algorandlabs / smart-asa
  Smart ASA reference implementation
  ☆32Updated 6 months ago
• AlgoNode / alloctrl
  ☆13Updated last year
• paulfears / snapalgo
  Adds the algorand cryptocurrency to metamask
  ☆13Updated last year
• TxnLab / reti
  Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives
  ☆23Updated this week
• Helium-Labs / Puya-BigNumber
  Math Library for big numbers in Puya for Algorand
  ☆12Updated this week
• algorandfoundation / algokit
  One stop shop for all AlgoKit related repos
  ☆25Updated 5 months ago
• algorandfoundation / did-algo
  The "algo" DID Method specification and tools.
  ☆17Updated 3 months ago
• algorand / pyteal-utils
  ☆28Updated last year
• algorand-devrel / demo-avm6
  New TEAL ops in AVM6
  ☆10Updated 4 months ago