GitHub repository: Hotmoka/hotmoka
Primary language: Java
Description: The Hotmoka project