Chelis
A numerical computing language for code that agents write and people supervise
1 ratings3.60
Saves3
CategoryDeveloper Tools
PlatformWeb
PricingFree
Chelis is a tensor programming language focused on numerical computing with strong type and proof checks, including tensor shapes, precision, and effects. It is designed to verify code correctness before execution and integrates SMT solvers and cross-checking tools. It compiles to C and supports shells for numerical methods, dataframes, and quantitative finance.
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
Around the Web
Show HN3 source points · 0 comments