GitHub repository: BaoBaoJiu/Lean
Primary language: C#
Description: Try migrate lean to .netcore.