GitHub repository: Atefeh-Zareh/smart-contracts-fixes-extensions
Primary language: JavaScript
Description: This fork is created to rectify specific bugs and enhance the functionalities of VeriSolid.