Directory

LaTeX bibliography package that reimplements BibTeX formatting in LaTeX macros, with the Biber backend, Unicode sorting and multiple bibliographies

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

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

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

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