GitHub repository: Guo-Bicheng/plutus
Description: The Plutus language implementation and tools