Directory

Dynamically typed, JIT-compiled language for numerical and scientific computing that aims to combine high-level syntax with compiled-code speed

Open-source functional programming language and interactive theorem prover with dependent types, the Mathlib mathematics library and VS Code tooling, stewarded by the Lean FRO

General-purpose, dynamically typed programming language with a large standard library and the dominant ecosystem for data science and machine learning

Open-source C++ library for quantitative finance covering instruments, term structures, pricing engines and calendars, with Python and other bindings

Language and environment for statistical computing and graphics, with the CRAN package archive and a strong base in academic statistics and econometrics

Python library for estimating statistical and econometric models with R-style formulas, rich result summaries and tests: OLS, GLM, discrete choice, ARIMA, state space, VAR and more

Pure-Python computer algebra system for symbolic algebra, calculus, equation solving, matrices, physics modules, code generation and LaTeX output