Colección de 177 skills validadas que enseñan a agentes de programación con IA a trabajar con bibliotecas científicas, bases de datos y flujos de investigación.
sharkdp/numbat
Lenguaje de programación con tipos estáticos y calculadora para cálculos científicos, con dimensiones físicas y unidades integradas.
Alternativa open source a:Wolfram Alpha
Qalculate
- Estrellas
- 2,775
- Forks
- 120
- Issues abiertos
- 131
- Último commit
- hace 9 días
¿Qué es?
Numbat es un lenguaje de programación orientado a los cálculos científicos, en el que dimensiones físicas como Length y Time funcionan como tipos. El sistema de tipos comprueba que las operaciones combinen correctamente las magnitudes, y los tipos se pueden declarar explícitamente o inferir.
Las unidades se tratan como valores de primera clase. Se pueden escribir con varias notaciones (km/h, kilometer/hour, m^2), convertir con el operador ->, definir nuevas unidades sobre la marcha y aprovechar la biblioteca estándar, que incluye unidades SI, estadounidenses, imperiales, náuticas, atómicas y nucleares, además de numerosas constantes y funciones. La propia biblioteca estándar está escrita en Numbat y se puede ampliar mediante un archivo init.nbt.
Numbat se distribuye como una herramienta de línea de comandos con un REPL interactivo que ofrece historial, búsqueda con Ctrl-R y autocompletado con tabulador; también se puede probar en el navegador. Su parser rechaza las entradas ambiguas con errores descriptivos en lugar de intentar adivinarlas. Es una calculadora, no un sistema de álgebra computacional.
Funciones clave
- 01Dimensiones físicas como Length y Time se utilizan como tipos estáticos, con inferencia.
- 02Las unidades se pueden escribir de varias formas y convertir con el operador ->.
- 03Se pueden definir nuevas unidades y funciones con unas pocas líneas de código.
- 04La biblioteca estándar incluye los sistemas SI, imperial, náutico, astronómico y otros, además de constantes.
- 05REPL interactivo con historial, búsqueda inversa y autocompletado con tabulador.
- 06assert_eq comprueba en tiempo de ejecución la igualdad exacta o aproximada de las magnitudes.
Casos de uso
- Comprobar la coherencia de unidades en cálculos de física o ingeniería.
- Hacer conversiones puntuales entre los sistemas imperial, métrico y otros.
- Escribir scripts de cálculo en los que convenga detectar cuanto antes las unidades incorrectas.
- Ampliar el sistema de unidades con unidades personalizadas para un dominio específico.
Inicio rápido
- 1
Instala la CLI nativa (consulta la documentación de instalación para obtener más detalles)
- 2
Instala la CLI desde una copia local del repositorio
cargo install -f --path numbat-cli - 3
Inicia el REPL interactivo
numbat
Antes de usarlo
- Numbat es una calculadora científica, no un sistema de álgebra computacional; no puede resolver ecuaciones diferenciales ni calcular integrales.
- No hay interfaz gráfica de usuario.
Temas
Preguntas frecuentes
- ¿Qué es numbat?
- Lenguaje de programación con tipos estáticos y calculadora para cálculos científicos, con dimensiones físicas y unidades integradas. Numbat es un lenguaje de programación orientado a los cálculos científicos, en el que dimensiones físicas como Length y Time funcionan como tipos. El sistema de tipos comprueba que las operaciones combinen correctamente las magnitudes, y los tipos se pueden declarar explícitamente o inferir.
- ¿numbat es gratuito? ¿Qué licencia tiene?
- numbat es open source bajo la licencia Apache-2.0. Revisa los términos de la licencia antes de usarlo en productos comerciales.
- ¿numbat sigue mantenido?
- Mantenimiento activo. El último commit de numbat fue el 11 oct 2026.
- ¿Para qué puedo usar numbat?
- Comprobar la coherencia de unidades en cálculos de física o ingeniería. Hacer conversiones puntuales entre los sistemas imperial, métrico y otros. Escribir scripts de cálculo en los que convenga detectar cuanto antes las unidades incorrectas. Ampliar el sistema de unidades con unidades personalizadas para un dominio específico.
- ¿Cómo se instala numbat?
- Instala la CLI nativa (consulta la documentación de instalación para obtener más detalles) Instala la CLI desde una copia local del repositorio: cargo install -f --path numbat-cli Inicia el REPL interactivo: numbat
- ¿Dónde consigo numbat?
- El código fuente y las instrucciones de instalación están en GitHub: https://github.com/sharkdp/numbat
Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.
Proyectos relacionados
Generador incremental de parsers y biblioteca de análisis sintáctico que crea árboles de sintaxis concretos y los actualiza a medida que se editan los archivos fuente.
Motor de física de propósito general para simular con rapidez y precisión cuerpos articulados en contacto, muy utilizado en investigación de robótica y aprendizaje automático.
Biblioteca de tokenización rápida y de última generación en Rust, con bindings para Python y Node.js, para NLP y pipelines de modelos de lenguaje.
Una herramienta de terminal que reproduce commits de Git como sesiones de escritura animadas, con resaltado de sintaxis y transiciones del árbol de archivos.
Zen C es un lenguaje de sistemas con una sintaxis cómoda de alto nivel que compila a GNU C11 legible y ofrece rendimiento de nivel C.