Home Explore Help
Register Sign In
Apq
/
numbat
mirror of https://github.com/sharkdp/numbat.git
1
0
Fork 0
Files Issues 0 Wiki

A statically typed programming language for scientific computations with first class support for physical dimensions and units
命令行科学计算器，支持很多种单位量
https://numbat.dev/

Tree: eb8985cc01
Branches Tags
numbat
David Peter eb8985cc01 Use longer names for stoney units 2 years ago
.github aec6e3a9fe Simple CI pipeline 2 years ago
assets fe119c0f4f Add new 'type' procedure to print expr type 2 years ago
book fe119c0f4f Add new 'type' procedure to print expr type 2 years ago
examples fa1da47a2b Add another XKCD example 2 years ago
modules eb8985cc01 Use longer names for stoney units 2 years ago
numbat 03c7e7c142 Simplify '3% · kg' to '0.03 kg' 2 years ago
numbat-cli fe37c54256 Split 'text' and 'internal' sources, add counter 2 years ago
numbat-exchange-rates 8d3f85eb04 Use rustls to avoid openssl dependency 2 years ago
numbat-wasm a87882cba7 Fix minor formatting issue 2 years ago
vscode-extension fe119c0f4f Add new 'type' procedure to print expr type 2 years ago
.gitignore c0dda22e0d Properly store history in .local/share 3 years ago
Cargo.lock 8d3f85eb04 Use rustls to avoid openssl dependency 2 years ago
Cargo.toml 3c4d93af1b Shorthand notation for adding new dimensions, closes #42 2 years ago
LICENSE-APACHE bb1417febb Add license files 2 years ago
LICENSE-MIT bb1417febb Add license files 2 years ago
README.md b7929a580c Clean up README even further 2 years ago
create_release.sh 912647b346 Add simple script to create release zip file 2 years ago

README.md

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