Maintainer sci-mathematics@gentoo.org

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic Potentially vulnerable Other lists
Gentoo 171 114 77 67.5% 34 29.8% 1 0.9% 1 0.88% HCO LN U Problems html, atomAtom feed
LiGurOS develop 169 112 75 67.0% 34 30.4% 1 0.9% 1 0.89% HCO LN U Problems html, atomAtom feed
LiGurOS stable 172 112 72 64.3% 37 33.0% 1 0.9% 1 0.89% HCO LN U Problems html, atomAtom feed
Gentoo Science overlay 9 9 5 55.6% 4 44.4% -- HCO LN U Problems html, atomAtom feed
Total 521 124 82 66.1% 41 33.1% 1 0.8% 1 0.81% HCO LN U

Categories

This maintainer is active in the following package categories:

Projects

4ti2, abc, acl2, alectryon, alt-ergo, arb-fp, bertini, boolector, btor2tools, cadabra, cadical, calc-arbitrary-precision-calculator, cdd+, cddlib, cgal, cipi, cln, coq, coq-mathcomp, coq-serapi, coq:gappalib, cryptominisat, cubicle, dataplot, dmlc-core, easycrypt, elpi, emacs:pariemacs, ent, eprover, euler, fann, flocq, form, frama-c, freefem++, fricas, frobby, g-octave, gappa-prover, geomview, gf2x, gfan, giac, gimps, ginac, glpk, gretl, gsl-shell, hypre, jags, jsmath, jsmath-extra-dark, kind2-model-checker, kissat, lean, libpoly, libsfmt, lie, lpsolve, lwpr, mathlib-tools, mathmod, mathomatic, maxima, metamath, metamath-databases, mpfi, muparser, nauty, nestedsums, netgen-mesher, normaliz, noweb, ntl, num-utils, octave, octave-epstk, oid, opensmt, pari, pari-data, petsc, picosat, plfit, polymake, primegen, prng, prover9, proverif, psmt2-frontend, pspp, python:bottleneck, python:cvxopt, python:lrcalc, python:mpmath, python:oct2py, python:octave-kernel, python:patsy, python:pywavelets, python:statsmodels, python:symengine, python:sympy, qhull, r, rkward, rngstreams, scilab, sha1-polyml, singular, slepc, smtinterpol, stp, symengine, topcom, unuran, vampire, verifpal, verit, why3, wxmaxima, yacas, yices2, zhu3d

Similar maintainers