GitHub repository: moxie-lean/generators
Primary language: JavaScript
Description: Set of generators to set up projects or libs using from Lean, using Yeoman Generator.