Gentoo Packages

Category: sci-mathematics

• sci-mathematics/frama-c::guru - Ebuilds: 1, Testing: 25.0
  Description: Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. It gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
  Homepage: https://frama-c.com
  License: BSD LGPL-2 LGPL-2.1
• sci-mathematics/frama-c-aorai::guru - Ebuilds: 1, Testing: 25.0
  Description: Aorai (automaton annotations) plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-callgraph::guru - Ebuilds: 1, Testing: 25.0
  Description: Callgraph plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-constant-folding::guru - Ebuilds: 1, Testing: 25.0
  Description: Constant folding plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-dive::guru - Ebuilds: 1, Testing: 25.0
  Description: Dive plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-e-acsl::guru - Ebuilds: 1, Testing: 25.0
  Description: Runtime verification of ACSL (E-ACSL) plugin for frama-c
  Homepage: https://frama-c.com
  License: BSD LGPL-2.1
• sci-mathematics/frama-c-eva::guru - Ebuilds: 1, Testing: 25.0
  Description: Value analysis (EVA) plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-from::guru - Ebuilds: 1, Testing: 25.0
  Description: From analysis plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-impact::guru - Ebuilds: 1, Testing: 25.0
  Description: Impact plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-inout::guru - Ebuilds: 1, Testing: 25.0
  Description: In/out analysis plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-instantiate::guru - Ebuilds: 1, Testing: 25.0
  Description: Instantiate analysis plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-loopanalysis::guru - Ebuilds: 1, Testing: 25.0
  Description: Loop analysis plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-metrics::guru - Ebuilds: 1, Testing: 25.0
  Description: Metrics plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-nonterm::guru - Ebuilds: 1, Testing: 25.0
  Description: Nonterm plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-obfuscator::guru - Ebuilds: 1, Testing: 25.0
  Description: Obfuscator plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-occurrence::guru - Ebuilds: 1, Testing: 25.0
  Description: Occurrence analysis plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-pdg::guru - Ebuilds: 1, Testing: 25.0
  Description: Program dependence graph plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-postdominators::guru - Ebuilds: 1, Testing: 25.0
  Description: Postdominators plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-printapi::guru - Ebuilds: 1, Testing: 25.0
  Description: Plugin generating .mli interface files for plugin APIs for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-qed::guru - Ebuilds: 1, Testing: 25.0
  Description: Qed plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-reduc::guru - Ebuilds: 1, Testing: 25.0
  Description: frama-c plugin to generate ACSL annotations from Eva information
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-report::guru - Ebuilds: 1, Testing: 25.0
  Description: Report plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-rtegen::guru - Ebuilds: 1, Testing: 25.0
  Description: Runtime error annotation (RTE) generation plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-scope::guru - Ebuilds: 1, Testing: 25.0
  Description: Scope plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-security-slicing::guru - Ebuilds: 1, Testing: 25.0
  Description: Security slicing plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-server::guru - Ebuilds: 1, Testing: 25.0
  Description: Server plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-slicing::guru - Ebuilds: 1, Testing: 25.0
  Description: Slicing plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-sparecode::guru - Ebuilds: 1, Testing: 25.0
  Description: Spare code plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-studia::guru - Ebuilds: 1, Testing: 25.0
  Description: Studia plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-users::guru - Ebuilds: 1, Testing: 25.0
  Description: Users plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/frama-c-variadic::guru - Ebuilds: 1, Testing: 25.0
  Description: Variadic function transformation plugin for frama-c
  Homepage: https://frama-c.com
  License: LGPL-2.1
• sci-mathematics/pyromaths::guru - Ebuilds: 1, Testing: 21.8.2
  Description: A program to create math exercise using LaTeX and python. It let you choose the subject, the difficulty and give you the solutions.
  Homepage: https://pyromaths.frama.io/pyromaths-staticsite https://pypi.org/project/pyromaths https://framagit.org/pyromaths/pyromaths
  License: GPL-3
• sci-mathematics/rink::guru - Ebuilds: 3, Testing: 0.9.0, Snapshot: 9999
  Description: Unit conversion tool, similar to frink
  Homepage: https://rinkcalc.app/about/
  License: MPL-2.0 GPL-3 Apache-2.0 BSD-2 BSD Boost-1.0 CC0-1.0 MIT MPL-2.0 Unicode-DFS-2016
• sci-mathematics/rstudio-desktop-bin::guru - Ebuilds: 3, Testing: 2024.12.0_p467
  Description: RStudio is an integrated development environment (IDE) for R. It can run it on a desktop or even over the web using RStudio Server.
  Homepage: https://posit.co
  License: AGPL-3