Directory

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

Posit's open-source integrated development environment for R, with console, editor, plots, environment panes, Quarto/R Markdown authoring and Python via reticulate

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

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