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☆11Updated last year
- Graviton: verify your TEAL program by experiment and observation☆18Updated 6 months ago
- A framework for writing Smart Contracts on Algorand☆96Updated 10 months ago
- ☆15Updated 10 months ago
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- Algorand Specifications☆69Updated this week
- ☆29Updated 2 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
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- ☆15Updated 2 years ago
- ☆13Updated 2 years ago
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated 2 months ago
- Framework to automate development of Algorand Assets and Smart Contracts.☆128Updated 2 years ago
- ☆11Updated last week
- Material Tracking application made on the Algorand Blockchain☆20Updated 2 years ago
- Smart ASA reference implementation☆31Updated last year
- The official JavaScript SDK for the Folks Finance Algorand Protocol☆41Updated this week
- ☆51Updated 6 years ago
- Tealish: A readable language for Algorand☆94Updated 3 months ago
- ☆11Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆67Updated 2 years ago
- Let's learn Algorand!☆80Updated last year
- Algorand Requests for Comments☆135Updated last week
- Reference Solidity implementation of the CMTAT security token framework developed by CMTA to tokenize financial instruments.☆58Updated this week
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- A development and testing jig for Algorand☆18Updated 3 months ago
- Hermez network protocol smart contracts☆37Updated 3 years ago
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- Version 1 of Shell Protocol☆31Updated 4 years ago