Coleção de 177 skills de agentes validadas que ensinam agentes de programação com IA a trabalhar com bibliotecas científicas, bancos de dados e fluxos de pesquisa.
sharkdp/numbat
Uma linguagem de programação com tipagem estática e uma calculadora para cálculos científicos, com dimensões físicas e unidades integradas.
Alternativa open source a:Wolfram Alpha
Qalculate
- Estrelas
- 2,775
- Forks
- 120
- Issues abertas
- 131
- Último commit
- há 9 dias
O que é?
Numbat é uma linguagem de programação voltada a cálculos científicos, na qual dimensões físicas, como Length e Time, funcionam como tipos. O sistema de tipos verifica se as grandezas são combinadas corretamente, e os tipos podem ser declarados explicitamente ou inferidos.
As unidades são tratadas como valores de primeira classe. Você pode escrevê-las em várias notações (km/h, kilometer/hour, m^2), convertê-las com o operador ->, definir novas unidades diretamente no código e usar a biblioteca padrão, que inclui unidades SI, usuais dos EUA, imperiais, náuticas, atômicas e nucleares, além de muitas constantes e funções. A própria biblioteca padrão é escrita em Numbat e pode ser estendida por meio de um arquivo init.nbt.
Numbat é distribuído como uma ferramenta de linha de comando com um REPL interativo que oferece histórico, busca com Ctrl-R e preenchimento automático por tabulação. Também é possível experimentá-lo no navegador. O parser rejeita entradas ambíguas com mensagens de erro descritivas, em vez de tentar adivinhar. Numbat é uma calculadora, não um sistema de álgebra computacional.
Recursos principais
- 01Dimensões físicas, como Length e Time, são usadas como tipos estáticos com inferência.
- 02As unidades podem ser escritas de várias formas e convertidas com o operador ->.
- 03É possível definir novas unidades e funções com poucas linhas de código.
- 04A biblioteca padrão abrange os sistemas SI, imperial, náutico, astronômico e outros, além de constantes.
- 05REPL interativo com histórico, busca reversa e preenchimento automático por tabulação.
- 06assert_eq verifica em tempo de execução a igualdade exata ou aproximada de grandezas.
Casos de uso
- Verificar a consistência de unidades em cálculos de física ou engenharia.
- Fazer conversões rápidas entre sistemas imperial, métrico e outros.
- Escrever scripts de cálculo em que uma unidade incorreta precisa ser detectada logo no início.
- Estender o sistema de unidades com unidades personalizadas para um domínio específico.
Início rápido
- 1
Instale a CLI nativa (consulte a documentação de instalação para mais detalhes)
- 2
Instale a CLI a partir de um checkout local
cargo install -f --path numbat-cli - 3
Inicie o REPL interativo
numbat
Antes de usar
- Numbat é uma calculadora científica, não um sistema de álgebra computacional; não consegue resolver equações diferenciais nem calcular integrais.
- Não há interface gráfica.
Tópicos
Perguntas frequentes
- O que é numbat?
- Uma linguagem de programação com tipagem estática e uma calculadora para cálculos científicos, com dimensões físicas e unidades integradas. Numbat é uma linguagem de programação voltada a cálculos científicos, na qual dimensões físicas, como Length e Time, funcionam como tipos. O sistema de tipos verifica se as grandezas são combinadas corretamente, e os tipos podem ser declarados explicitamente ou inferidos.
- numbat é gratuito? Qual é a licença?
- numbat é open source sob a licença Apache-2.0. Confira os termos da licença antes de usá-lo em produtos comerciais.
- numbat ainda é mantido?
- Manutenção ativa. O último commit de numbat foi em 11 de out. de 2026.
- Para que posso usar numbat?
- Verificar a consistência de unidades em cálculos de física ou engenharia. Fazer conversões rápidas entre sistemas imperial, métrico e outros. Escrever scripts de cálculo em que uma unidade incorreta precisa ser detectada logo no início. Estender o sistema de unidades com unidades personalizadas para um domínio específico.
- Como instalar numbat?
- Instale a CLI nativa (consulte a documentação de instalação para mais detalhes) Instale a CLI a partir de um checkout local: cargo install -f --path numbat-cli Inicie o REPL interativo: numbat
- Onde consigo numbat?
- O código-fonte e as instruções de instalação estão no GitHub: https://github.com/sharkdp/numbat
Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.
Projetos relacionados
Um gerador de parsers incremental e uma biblioteca de parsing que cria árvores de sintaxe concreta e as atualiza conforme os arquivos-fonte são editados.
Um mecanismo de física de uso geral para simular corpos articulados em contato com rapidez e precisão, amplamente usado em robótica e pesquisa em machine learning.
Biblioteca de tokenização de ponta e rápida, escrita em Rust, com bindings para Python e Node.js para pipelines de NLP e modelos de linguagem.
Uma ferramenta de terminal que reproduz commits do Git como sessões de digitação animadas, com realce de sintaxe e transições na árvore de arquivos.
Zen C é uma linguagem de sistemas com ergonomia de alto nível, que compila para GNU C11 legível e oferece desempenho no nível de C.