numbat

Numbat is a statically typed programming language specifically designed for scientific computations, emphasizing the integration of physical dimensions and units as first-class types. Its notable features include a robust type system that enforces physical dimensions, an extensive standard library containing a wide array of units and predefined functions, and an interactive terminal for real-time calculations. The language also prioritizes user experience with excellent error messaging and a strict syntax to ensure predictable outcomes.