Directory

Distributed version control system that records snapshots of a project's history locally and synchronizes them with remotes such as GitHub, GitLab or a bare repository over SSH

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

MathWorks' commercial numeric computing environment and language for engineers and scientists, with toolboxes, Simulink integration, apps and MATLAB Online

Universal document converter that translates between Markdown, LaTeX, HTML, DOCX, EPUB, Typst, Jupyter and dozens of other formats, with citeproc and Lua filters

Open-source computational notebook ecosystem: the .ipynb format, kernels for Python, R and Julia, JupyterLab and Notebook interfaces and JupyterHub

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

Open-source scientific publishing system from Posit that renders Markdown with executable Python, R, Julia or Observable code to HTML, PDF, Word, slides, websites and books via Pandoc

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

Commercial statistical software from StataCorp widely used in economics and social science, with editions BE/SE/MP, a command language, Mata and comprehensive PDF manuals

The comprehensive free TeX distribution for Linux, macOS and Windows, released yearly with the tlmgr package manager and all major engines, packages and fonts

Markup-based typesetting system with an Apache-2.0 compiler written in Rust and a collaborative web app, positioned as a faster, simpler alternative to LaTeX

Wolfram Research's proprietary technical computing system built on the Wolfram Language, with notebooks, symbolic and numeric computation, visualization, machine learning and curated data