Maintainer sci-mathematics@gentoo.org

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic Potentially vulnerable Other lists
Gentoo 173 114 78 68.4% 34 29.8% - 1 0.88% HCO LN U Problems html, atomAtom feed
LiGurOS develop 171 112 76 67.9% 34 30.4% - 1 0.89% HCO LN U Problems html, atomAtom feed
LiGurOS stable 172 112 71 63.4% 39 34.8% - 1 0.89% HCO LN U Problems html, atomAtom feed
Gentoo Science overlay 10 9 6 66.7% 3 33.3% -- HCO LN U Problems html, atomAtom feed
Total 526 124 84 67.7% 42 33.9% - 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