GitHub repository: smeyer198/Crypto-API-Rules
Description: This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.