Popular repositories Loading

1. codeql-TEAL codeql-TEAL Public

   TealQL is an SAST tool powered by Github Advanced Security's CodeQL, bringing the latest in Static Analysis tooling to the Algorand Virtual Machine's native language.

   CodeQL 5

2. teal-verifier teal-verifier Public

   A formal verification framework for Algorand smart contracts

   Python 3 1

3. TEALFuzz TEALFuzz Public

   C++ 1

4. ALGO1-TPI ALGO1-TPI Public

   Forked from Brunicap/ALGO1-TPI

   C++

5. ClarityFuzzer ClarityFuzzer Public

   Python

6. tree-sitter-teal tree-sitter-teal Public

   Tree-sitter grammar definition for TEAL (Transaction Execution Approval Language), the Algorand Virtual Machine domain specific language.

   JavaScript