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
- Graviton: verify your TEAL program by experiment and observation☆17Updated 2 months ago
- New TEAL ops in AVM6☆10Updated last year
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 2 years ago
- Algorand Specifications☆69Updated this week
- Smart ASA reference implementation☆31Updated last year
- A framework for writing Smart Contracts on Algorand☆99Updated 6 months ago
- ☆28Updated 2 years ago
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- ☆15Updated 5 months ago
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated 3 months ago
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆37Updated 3 weeks ago
- ☆14Updated 2 years ago
- ☆40Updated 2 years ago
- ☆11Updated this week
- A development and testing jig for Algorand☆18Updated 6 months ago
- A single Web3 / Algorand provider solution for all Wallets☆21Updated 2 years ago
- ☆13Updated 2 years ago
- Repository for organizing information and resources related to the Algorand community study group.☆14Updated last year
- Tinyman AMM Contracts V1.1☆65Updated 3 years ago
- Let's learn Algorand!☆79Updated last year
- Testing framework for Algorand SDKs☆21Updated 2 weeks ago
- 🤖 A collection of Algorand Smart Signatures and Contracts for swaps and trading 🎴☆30Updated 2 weeks ago
- ☆35Updated 2 years ago
- ☆11Updated last year
- ☆14Updated 2 years ago
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.☆9Updated 2 years ago
- Tealish: A readable language for Algorand☆94Updated 5 months ago
- Algorand VS Code Extension☆12Updated 2 years ago
- A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE s…☆52Updated last week