crytic / tealerLinks
Static Analyzer for Teal
☆63Updated last year
Alternatives and similar repositories for tealer
Users that are interested in tealer are comparing it to the libraries listed below
Sorting:
- New TEAL ops in AVM6☆11Updated last year
- Graviton: verify your TEAL program by experiment and observation☆18Updated 8 months ago
- A framework for writing Smart Contracts on Algorand☆96Updated last year
- Algorand Specifications☆70Updated this week
- ☆15Updated last month
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- Tinyman AMM Contracts V1.1☆66Updated 3 years ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 3 years ago
- ☆29Updated 2 years ago
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated last month
- Tealish: A readable language for Algorand☆95Updated 5 months ago
- ☆12Updated 2 years ago
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- Framework to automate development of Algorand Assets and Smart Contracts.☆128Updated 2 years ago
- Let's learn Algorand!☆79Updated 2 years ago
- Smart ASA reference implementation☆31Updated last year
- Material Tracking application made on the Algorand Blockchain☆20Updated 2 years ago
- ☆11Updated last week
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆40Updated last month
- An open-source collection of educational content for Algorand. Currently a WIP☆18Updated 2 years ago
- ☆11Updated 2 years ago
- ☆34Updated 2 years ago
- A single Web3 / Algorand provider solution for all Wallets☆22Updated 2 years ago
- ☆15Updated 2 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆50Updated 2 years ago
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆96Updated 4 months ago
- Robust Incentives Group☆132Updated 7 months ago
- Algorand Requests for Comments☆136Updated this week
- Publications of Runtime Verification, Inc.☆92Updated last month
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Updated 5 years ago