crytic / tealerLinks
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:
- New TEAL ops in AVM6☆10Updated last year
- Graviton: verify your TEAL program by experiment and observation☆18Updated 5 months ago
- A framework for writing Smart Contracts on Algorand☆97Updated 9 months ago
- Algorand Specifications☆69Updated this week
- ☆15Updated 9 months ago
- ☆14Updated 2 years ago
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- ☆29Updated 2 years ago
- ☆13Updated 2 years ago
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 3 years ago
- Tinyman AMM Contracts V1.1☆66Updated 3 years ago
- Smart ASA reference implementation☆31Updated last year
- ☆40Updated 2 years ago
- ☆11Updated last week
- An interpreter for TEAL assembly code that simulates the Algorand virtual machine.☆9Updated 2 years ago
- Framework to automate development of Algorand Assets and Smart Contracts.☆129Updated 2 years ago
- Testing framework for Algorand SDKs☆21Updated last month
- ☆51Updated 6 years ago
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated 2 months ago
- Grow Algorand and Earn ALGOs ❤️☆90Updated 2 years ago
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆38Updated last month
- Robust Incentives Group☆125Updated 4 months ago
- ☆11Updated 2 years ago
- A development and testing jig for Algorand☆18Updated 2 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated last month
- Material Tracking application made on the Algorand Blockchain☆20Updated 2 years ago
- Mutation Testing for Ethereum Smart Contracts☆206Updated last year
- Block fingerprinting for the beacon chain, for client diversity metrics☆93Updated last month
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated last year