crytic / tealer
Static Analyzer for Teal
☆63Updated 11 months ago
Alternatives and similar repositories for tealer:
Users that are interested in tealer are comparing it to the libraries listed below
- 🧑🔬 verify your TEAL program by experiment and observation☆17Updated last year
- New TEAL ops in AVM6☆10Updated 8 months ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 2 years ago
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- ☆15Updated 2 months ago
- ☆28Updated last year
- Smart ASA reference implementation☆32Updated 9 months ago
- ☆14Updated last year
- Awesome list of projects and resources for the Algorand ecosystem☆20Updated 3 years ago
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆36Updated this week
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated last week
- A framework for writing Smart Contracts on Algorand☆99Updated 2 months ago
- Tinyman AMM Contracts V1.1☆67Updated 3 years ago
- ☆36Updated last year
- Algorand Specifications☆69Updated 3 weeks ago
- ☆14Updated 2 years ago
- Repository for organizing information and resources related to the Algorand community study group.☆14Updated last year
- ☆11Updated last year
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.☆9Updated last year
- Material Tracking application made on the Algorand Blockchain☆18Updated last year
- Testing framework for Algorand SDKs☆20Updated this week
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 2 years ago
- ☆11Updated this week
- A development and testing jig for Algorand☆15Updated 3 months ago
- ☆40Updated last year
- ☆12Updated 2 years ago
- A single Web3 / Algorand provider solution for all Wallets☆22Updated last year
- 🤖 A collection of Algorand Smart Signatures and Contracts for swaps and trading 🎴☆30Updated 2 weeks ago
- An open-source collection of educational content for Algorand. Currently a WIP☆18Updated last year