sci-mathematics/elan-bin::gentoo-zh
- Ebuilds: 1, Testing: 4.2.3 Description:
Elan manages Lean toolchains and selects the appropriate Lean version for
each project. This package installs upstream's prebuilt static executable
and command proxies for Lean, Lake, and legacy Lean tools.
Homepage:https://github.com/leanprover/elan License: || ( Apache-2.0 MIT ) Apache-2.0 BSD Boost-1.0 MIT Unicode-3.0 Unicode-DFS-2016
sci-mathematics/rstudio-desktop-bin::gentoo-zh
- Ebuilds: 2, Testing: 2026.08.1_p195 Description:
RStudio is an integrated development environment (IDE) for R and Python,
with a console, a syntax-highlighting editor that supports direct code
execution, and tools for plotting, history, debugging and workspace
management. This is the prebuilt open-source desktop edition.
Homepage:https://posit.co/products/open-source/rstudio/ License: AGPL-3