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

Open catalog of the global research system: works, authors, sources, institutions and topics under CC0, served by a REST API, web app and S3 snapshot

Free, open-source research management platform from the Center for Open Science for projects, preregistrations, registries, preprint services and linking outputs across storage providers

Collaborative online LaTeX editor with real-time co-editing, templates and reference-manager sync, available as a hosted service and an AGPL self-hosted edition

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

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

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

Free general-purpose research repository operated by CERN that assigns DOIs to datasets, software, papers and other outputs, with a REST API, OAI-PMH, GitHub release archiving and CC0 metadata

Free, open-source reference manager with browser connectors, word-processor plugins, a PDF reader, group libraries and optional paid file storage