Ycarus Gentoo ebuild

science

These ebuilds come from .

If you have some problems, go to the official site first.

sci-mathematics

Oid : An interactive, extensible software system for experimenting with matroids ( https://sites.google.com/site/wwwmatroids/ )

acl2 : Industrial strength theorem prover ( https://www.cs.utexas.edu/users/moore/acl2/ )

cipi : Computing information projections iteratively ( https://github.com/tom111/cipi )

flocq : A floating-point formalization for the Coq system ( http://flocq.gforge.inria.fr/ )

frama-c : Framework for analysis of source codes written in C ( https://frama-c.com )

freefem++ : Solve PDEs using FEM on 2d and 3d domains ( https://freefem.org/ )

gap : Computational discrete algebra system - minimal GAP core system ( https://www.gap-system.org/ )

gappa : Verifying and proving properties on floating-point or fixed-point arithmetic ( https://gappa.gitlabpages.inria.fr/ )

gappalib-coq : Allows the certificates Gappa generates to be imported by the Coq ( http://gappa.gforge.inria.fr/ )

libsfmt : SIMD-oriented Fast Mersenne Twister ( http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT/index.html )

lie : A Computer algebra package for Lie group computations ( http://www-math.univ-poitiers.fr/~maavl/LiE/" # no https, invalid certificat )

ltl2ba : Fast LTL to Buechi Automata Translation ( http://www.lsv.ens-cachan.fr/~gastin/ltl2ba )

netgen : Automatic 3d tetrahedral mesh generator ( https://ngsolve.org/ https://github.com/NGSolve/netgen )

open-axiom : Symbolic and algebraic computations system ( https://github.com/GabrielDosReis/open-axiom http://www.open-axiom.org/ )

pulp : Create MPS/LP files, call solvers, and present results ( https://coin-or.github.io/pulp/ )

ripser : efficient computation of Vietoris-Rips persistence barcodes ( https://github.com/Ripser/ripser )

scilab : Scientific software package for numerical computations ( https://www.scilab.org/ )

scilab-bin : Scientific software package for numerical computations ( https://www.scilab.org/ )

Add an ebuild in portage :

The ebuild is now in the portage tree.

You can also use layman : emerge layman then layman -a science

For Paludis use this rsync : rsync://gentoo.zugaina.org/science-portage

If you have a problem : ycarus(-at-)zugaina.org