GitHub repository: projectlean/hop-lean-plugins
Primary language: Java
Created: 2020-06-28T17:50:38Z
Description: These are hop plugins using the Lean platform as a library