AttaLambda
A small language built on lambda calculus with runtime type checks
1 ratings3.83
Saves26
CategoryDeveloper Tools
PlatformWeb
PricingFree
Screenshots haven’t been added yet. Visit the product to take a look.
AttaLambda is an open-source programming language based on pure, untyped lambda calculus. It features readable syntax, exact rational numbers, runtime type checks, and separate input/output boundaries, allowing functional computing with unary functions and application.
open-source
Ratings & Reviews
Write a reviewBe the first to share a thoughtful review.
Information
CategoryDeveloper Tools
PlatformsWeb
PricingFree
AccountNot confirmed
ListedSeptember 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 26, 2026
Test this website on PageSpeedWebsite checks refresh automatically each week.
- Performance
- 99 out of 100, Good
- Accessibility
- 100 out of 100, Good
- Best Practices
- 100 out of 100, Good
- SEO
- 100 out of 100, Good
Around the Web
Show HN26 source points · 0 comments