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
Sorting:
- Graviton: verify your TEAL program by experiment and observation☆18Updated 2 months ago
- New TEAL ops in AVM6☆10Updated last year
- ☆29Updated 2 years ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 2 years ago
- A framework for writing Smart Contracts on Algorand☆99Updated 6 months ago
- Algorand Specifications☆69Updated this week
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- ☆14Updated 2 years ago
- Smart ASA reference implementation☆31Updated last year
- ☆15Updated 6 months ago
- ☆13Updated 2 years ago
- A development and testing jig for Algorand☆18Updated 7 months ago
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated 4 months ago
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- Tinyman AMM Contracts V1.1☆65Updated 3 years ago
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆37Updated last month
- ☆11Updated this week
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.☆9Updated 2 years ago
- ☆35Updated 2 years ago
- Testing framework for Algorand SDKs☆21Updated last month
- A single Web3 / Algorand provider solution for all Wallets☆21Updated 2 years ago
- ☆14Updated 2 years ago
- ☆11Updated last year
- A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE s…☆53Updated last month
- Repository for organizing information and resources related to the Algorand community study group.☆14Updated last year
- The smart contracts for the Folks Finance Cross-Chain Lending Protocol.☆21Updated 2 months ago
- Grow Algorand and Earn ALGOs ❤️☆90Updated last year
- ☆11Updated last year
- ☆40Updated 2 years ago
- Implementation of an automated bidding application for a NFT developed on the Algorand blockchain using PyTeal and the python-sdk.☆16Updated 3 years ago