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:
- Graviton: verify your TEAL program by experiment and observation☆18Updated 7 months ago
- New TEAL ops in AVM6☆11Updated last year
- A framework for writing Smart Contracts on Algorand☆96Updated 11 months ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 3 years ago
- Algorand Specifications☆69Updated last week
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- ☆15Updated 2 weeks ago
- ☆53Updated 6 years ago
- Tinyman AMM Contracts V1.1☆66Updated 3 years ago
- Tinyman AMM Contracts V2☆23Updated 2 years ago
- ☆29Updated 2 years ago
- ☆15Updated 2 years ago
- ☆12Updated 2 years ago
- Framework to automate development of Algorand Assets and Smart Contracts.☆128Updated 2 years ago
- Smart ASA reference implementation☆31Updated last year
- A development and testing jig for Algorand☆18Updated 5 months ago
- Tealish: A readable language for Algorand☆94Updated 5 months ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Updated 5 years ago
- General Purpose Atomic Crosschain Transaction Protocol☆85Updated last year
- ☆40Updated 2 years ago
- Let's learn Algorand!☆79Updated last year
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated last month
- ☆58Updated 7 months ago
- ☆11Updated 2 years ago
- Material Tracking application made on the Algorand Blockchain☆20Updated 2 years ago
- super cheap solidity schnorr sig verification using only ecrecover and keccak256☆53Updated 3 years ago
- A command line interface for the MythX smart contract security analysis API☆91Updated last year
- Robust Incentives Group☆130Updated 7 months ago
- ☆89Updated 3 years ago
- zkCREAM is zk-SNARK based anonymized voting application using a token mixer☆40Updated 3 years ago