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 11 months ago
- New TEAL ops in AVM6☆11Updated last year
- Algorand Specifications☆72Updated 2 weeks ago
- A framework for writing Smart Contracts on Algorand☆95Updated last year
- ☆15Updated 3 months ago
- ☆12Updated 3 years ago
- Tinyman AMM Contracts V2☆23Updated 3 years ago
- ☆15Updated 3 years ago
- Tinyman AMM Contracts V1.1☆65Updated 4 years ago
- A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.☆24Updated 3 years ago
- Tealang - high level language for Algorand ASC1 and TEAL☆37Updated 3 years ago
- Smart ASA reference implementation☆31Updated last year
- ☆11Updated 2 years ago
- ☆29Updated 2 years ago
- Robust Incentives Group☆133Updated 10 months ago
- ☆11Updated last week
- Stream new blocks to various services (redis/elasticsearch/...)☆14Updated 4 months ago
- ☆53Updated 6 years ago
- A development and testing jig for Algorand☆18Updated 8 months ago
- Memory access with runtime typechecking in Solidity☆76Updated 2 years ago
- Hubble optimistic rollup☆136Updated 2 years ago
- Framework to automate development of Algorand Assets and Smart Contracts.☆127Updated 2 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated 2 years ago
- Grow Algorand and Earn ALGOs ❤️☆90Updated 2 years ago
- Testing framework for Algorand SDKs☆21Updated 4 months ago
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆103Updated last year
- Mutation Testing for Ethereum Smart Contracts☆206Updated 2 years ago
- General Purpose Atomic Crosschain Transaction Protocol☆85Updated last year
- ☆49Updated 2 years ago
- Dark Forest zkSNARK circuits☆122Updated 2 years ago