Numbat is a statically typed programming language for scientific computations with first class support for physical units.

Key features

• First class support for physical units and dimensions
• Static type checking (unit safety)
• Type inference
• Strict syntax
• REPL mode
• Excellent error messages
• Customizable: the whole system of physical dimensions and units is written in Numbat itself and can be modified or replaced

Development

Run Numbat CLI cargo run -- <numbat args>

Install the CLI version cargo install -f --path numbat-cli

Run all tests cargo test