crytic / tealer
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
- New TEAL ops in AVM6☆10Updated 9 months ago
- 🧑🔬 verify your TEAL program by experiment and observation☆17Updated last year
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- A framework for writing Smart Contracts on Algorand☆99Updated 3 months ago
- ☆28Updated last year
- Smart ASA reference implementation☆31Updated 11 months ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 2 years ago
- Awesome list of projects and resources for the Algorand ecosystem☆20Updated 3 years ago
- Algorand Specifications☆69Updated last month
- ☆14Updated 2 years ago
- ☆15Updated 3 months ago
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated last month
- Tinyman AMM Contracts V1.1☆67Updated 3 years ago
- ☆11Updated this week
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆37Updated 3 weeks ago
- Testing framework for Algorand SDKs☆20Updated last week
- Repository for organizing information and resources related to the Algorand community study group.☆14Updated last year
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.☆9Updated 2 years ago
- ☆14Updated 2 years ago
- ☆40Updated last year
- ☆11Updated last year
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 2 years ago
- A development and testing jig for Algorand☆15Updated 4 months ago
- A single Web3 / Algorand provider solution for all Wallets☆22Updated last year
- Algorand VS Code Extension☆12Updated 2 years ago
- ☆35Updated 2 years ago
- Material Tracking application made on the Algorand Blockchain☆18Updated last year
- A framework agnostic wallet integration library for Algorand dApps☆84Updated this week
- ☆12Updated 2 years ago
- ☆18Updated this week