crytic / tealer

Related projects ⓘ

Alternatives and complementary repositories for tealer

• algorand / graviton
  🧑‍🔬 verify your TEAL program by experiment and observation
  ☆17Updated last year
• algorandfoundation / demo-avm6
  New TEAL ops in AVM6
  ☆10Updated 7 months ago
• tinymanorg / tinyman-amm-contracts-v2
  Tinyman AMM Contracts V2
  ☆22Updated last year
• ghostbits / awesome-algorand
  Awesome list of projects and resources for the Algorand ecosystem
  ☆19Updated 2 years ago
• algorandfoundation / beaker
  A framework for writing Smart Contracts on Algorand
  ☆98Updated last month
• algorandlabs / smart-asa
  Smart ASA reference implementation
  ☆32Updated 8 months ago
• algorand / pyteal-utils
  ☆28Updated last year
• petitnau / algoml
  A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
  ☆24Updated 2 years ago
• algorand-devrel / demo-abi
  ☆14Updated last year
• AlgoNode / algostreamer
  Stream new blocks to various services (redis/elasticsearch/...)
  ☆13Updated 3 weeks ago
• runtimeverification / avm-semantics
  ☆15Updated 3 weeks ago
• algorandfoundation / specs
  Algorand Specifications
  ☆67Updated last week
• Folks-Finance / folks-finance-js-sdk
  The official JavaScript SDK for the Folks Finance Algorand Protocol
  ☆35Updated last month
• algorand / algorand-sdk-testing
  Testing framework for Algorand SDKs
  ☆20Updated 4 months ago
• Hipo / algojig
  A development and testing jig for Algorand
  ☆15Updated last month
• algorand-devrel / community
  ☆11Updated this week
• pzbitskiy / tealang
  Tealang - high level language for Algorand ASC1 and TEAL
  ☆37Updated 2 years ago
• algorandfoundation / pyteal-course
  ☆40Updated last year
• ori-shem-tov / vrf-oracle
  ☆14Updated 2 years ago
• algorand-devrel / beaker-auction
  ☆12Updated last year
• xBacked-DAO / algorand-wallet-select
  A single Web3 / Algorand provider solution for all Wallets
  ☆22Updated last year
• hone-labs / teal-interpreter
  An interpreter for TEAL assembly code that simulates the Algorand virtual machine.
  ☆9Updated last year
• barnjamin / zk-experiments
  ☆12Updated last year
• tinymanorg / tinyman-contracts-v1
  Tinyman AMM Contracts V1.1
  ☆68Updated 2 years ago
• HashMapsData2Value / Algorand-Community-Study-Group
  Repository for organizing information and resources related to the Algorand community study group.
  ☆14Updated last year
• algorandfoundation / TEALScript
  A subset of TypeScript for developing Algorand Smart Contracts. Enables ASC development with native TypeScript syntax, tooling, and IDE s…
  ☆51Updated 2 weeks ago
• code-alexander / algobase
  A type-safe Python library for interacting with assets on Algorand.
  ☆27Updated last month
• algokittens / arc69
  ☆36Updated last year