lean-lang.org

lean-lang.org

Lean
Export Report Sign up Claim Profile
Other

Company

Name
Lean

Category

Science Mathematics Other 73%
IAB-464
Computers & Electronics Programming Other 33%
IAB-631-599
Reference General Reference Educational Resources 25%
IAB-132
Computers & Electronics Programming Scripting Languages 13%
IAB-631-599
Global Rank
#246,195

Reviews

Write a review

No reviews yet — be the first to review lean-lang.org.

Get this data via API

Classify lean-lang.org — and any other URL — with one call.

620+ IAB categories, company data, tech stacks and logos. JSON out, real time.

curl -X POST 'https://www.klazify.com/api/categorize' \ -H 'Authorization: Bearer YOUR_API_KEY' \ -H 'Content-Type: application/json' \ -d '{"url": "https://lean-lang.org"}'
{ "domain": { "domain_url": "https://lean-lang.org", "categories": [ { "name": "/Science/Mathematics/Other", "confidence": 0.725852906703949, "IAB15": "Science", "IAB-464": "Science" }, { "name": "/Computers & Electronics/Programming/Other", "confidence": 0.33206015825271606, "IAB19": "Technology & Computing", "IAB-631-599": "Computing - Programming Languages" }, { "name": "/Reference/General Reference/Educational Resources", "confidence": 0.2514150142669678, "IAB5": "Education", "IAB-132": "Education" }, { "name": "/Computers & Electronics/Programming/Scripting Languages", "confidence": 0.12533527612686157, "IAB19": "Technology & Computing", "IAB-631-599": "Computing - Programming Languages" } ] }, "success": true }
Get Free API Key View API Docs Website Classification API