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

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

R package that turns Markdown documents with embedded R (and Python or SQL) chunks into HTML, PDF, Word, slides, books and dashboards through knitr and Pandoc