lungo
Generate Rust, C, Go, Python, Swift and TypeScript APIs from Lean projects
1 ratings4.45
Saves1
CategoryDeveloper Tools
PlatformWeb
PricingFree
lungo is a tool that compiles Lean theorem prover projects into idiomatic language APIs in Rust, C, Go, Python, Swift, and TypeScript. It uses Lean to check and elaborate programs and runs compiled code on a common runtime, enabling verified, multi-language use of validated logical computations.
Ratings & Reviews
Write a reviewBe the first to share a thoughtful review.
Information
CategoryDeveloper Tools
PlatformsWeb
PricingFree
AccountNot confirmed
ListedOctober 2026
WebVisit
Report a problem
Website checks
Mobile PageSpeed
Automated checks of the public website by Google Lighthouse 13.5.0. Scores can vary between runs.
Checked Oct 19, 2026
Test this website on PageSpeedWebsite checks refresh automatically each week.
- Performance
- 91 out of 100, Good
- Accessibility
- 100 out of 100, Good
- Best Practices
- 100 out of 100, Good
- SEO
- 100 out of 100, Good
Website checks are queued. Results will appear here when complete.
Around the Web
Show HN1 source points · 1 comments