GitHub repository: BlockchainResearchCollective/scilla-vanilla
Primary language: Shell
Description: Vanilla Scilla contracts