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 11 months ago
- Graviton: verify your TEAL program by experiment and observation☆17Updated last month
- Tinyman AMM Contracts V2☆22Updated 2 years ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 2 years ago
- Algorand Specifications☆69Updated last month
- ☆15Updated 5 months ago
- A framework for writing Smart Contracts on Algorand☆99Updated 5 months ago
- Smart ASA reference implementation☆31Updated last year
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated 2 months ago
- ☆14Updated 2 years ago
- Tealish: A readable language for Algorand☆93Updated 5 months ago
- ☆13Updated 2 years ago
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆37Updated this week
- Tinyman AMM Contracts V1.1☆66Updated 3 years ago
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.☆9Updated 2 years ago
- ☆11Updated this week
- Awesome list of projects and resources for the Algorand ecosystem☆20Updated 3 years ago
- ☆28Updated last year
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 2 years ago
- Testing framework for Algorand SDKs☆20Updated last month
- ☆11Updated last year
- Material Tracking application made on the Algorand Blockchain☆19Updated last year
- ☆40Updated 2 years ago
- Repository for organizing information and resources related to the Algorand community study group.☆14Updated last year
- A development and testing jig for Algorand☆16Updated 5 months ago
- Algorand Requests for Comments☆129Updated 2 weeks ago
- A framework agnostic wallet integration library for Algorand dApps☆86Updated this week
- ☆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
- Framework to automate development of Algorand Assets and Smart Contracts.☆131Updated last year