Popular repositories Loading

1. BELMA-project BELMA-project Public

   BELMA introduces a dual-layer design that integrates formal verification (symbolic execution, static analysis) with large language models (LLMs) such as GPT-3.5-turbo for contextual repair.

   Solidity 3

2. PGT_Project PGT_Project Public

   Solidity

3. TEFIE-Secure TEFIE-Secure Public

   Solidity

4. Dewcrypt-Project Dewcrypt-Project Public

   Python

5. VdaBSc-project VdaBSc-project Public

   Python

6. ABMA-project ABMA-project Public

   Solidity