GitHub repository: sambacha/syrup-backend
Description: backend of syrup: SYnthesizeR of sUPer-optimized smart contracts