GitHub repository: phenix3443/preda
Description: PREDA, a general programming language for parallel execution of smart contract transactions on sharding blockchains