frama-c : Framework for analysis of source codes written in C ( https://frama-c.com )
frama-c-aorai : Aorai (automaton annotations) plugin for frama-c ( https://frama-c.com )
frama-c-callgraph : Callgraph plugin for frama-c ( https://frama-c.com )
frama-c-constant-folding : Constant folding plugin for frama-c ( https://frama-c.com )
frama-c-dive : Dive plugin for frama-c ( https://frama-c.com )
frama-c-e-acsl : Runtime verification of ACSL (E-ACSL) plugin for frama-c ( https://frama-c.com )
frama-c-eva : Value analysis (EVA) plugin for frama-c ( https://frama-c.com )
frama-c-from : From analysis plugin for frama-c ( https://frama-c.com )
frama-c-impact : Impact plugin for frama-c ( https://frama-c.com )
frama-c-inout : In/out analysis plugin for frama-c ( https://frama-c.com )
frama-c-instantiate : Instantiate analysis plugin for frama-c ( https://frama-c.com )
frama-c-loopanalysis : Loop analysis plugin for frama-c ( https://frama-c.com )
frama-c-metrics : Metrics plugin for frama-c ( https://frama-c.com )
frama-c-nonterm : Nonterm plugin for frama-c ( https://frama-c.com )
frama-c-obfuscator : Obfuscator plugin for frama-c ( https://frama-c.com )
frama-c-occurrence : Occurrence analysis plugin for frama-c ( https://frama-c.com )
frama-c-pdg : Program dependence graph plugin for frama-c ( https://frama-c.com )
frama-c-postdominators : Postdominators plugin for frama-c ( https://frama-c.com )
frama-c-printapi : Plugin generating .mli interface files for plugin APIs for frama-c ( https://frama-c.com )
frama-c-qed : Qed plugin for frama-c ( https://frama-c.com )
frama-c-reduc : frama-c plugin to generate ACSL annotations from Eva information ( https://frama-c.com )
frama-c-report : Report plugin for frama-c ( https://frama-c.com )
frama-c-rtegen : Runtime error annotation (RTE) generation plugin for frama-c ( https://frama-c.com )
frama-c-scope : Scope plugin for frama-c ( https://frama-c.com )
frama-c-security-slicing : Security slicing plugin for frama-c ( https://frama-c.com )
frama-c-server : Server plugin for frama-c ( https://frama-c.com )
frama-c-slicing : Slicing plugin for frama-c ( https://frama-c.com )
frama-c-sparecode : Spare code plugin for frama-c ( https://frama-c.com )
frama-c-studia : Studia plugin for frama-c ( https://frama-c.com )
frama-c-users : Users plugin for frama-c ( https://frama-c.com )
frama-c-variadic : Variadic function transformation plugin for frama-c ( https://frama-c.com )
pyromaths : Create maths exercises in LaTeX and PDF format ( HOMEPAGE=" )
rstudio-desktop-bin : IDE for R and Python ( https://posit.co )
Pour rajouter une e-build dans l'arbre de portage :
L'ebuild est alors rajouté dans l'arbre de portage.
Vous pouvez aussi utiliser layman : emerge layman puis layman -a guru
Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/guru-portage
En cas de problèmes : ycarus(-at-)zugaina.org