October 2026 cohort / Developer tools
lungo
OnlineCompiles Lean-checked programs from Lake projects into Rust, C, Go, Python, Swift, and TypeScript.
- Status
- Onlinesince Nov 5, 2026
- First launched
- Oct 18, 2026
- Category
- Developer tools
- Type
- Developer tool
- Pricing