| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| 4ti2-1.6.9-bp155.2.1 | Package for algebraic, geometric and combinatorial problems on linear spaces | linux/armv7hl |
| LiE-2.2.2-bp155.2.2 | A Computer algebra package for Lie group computations | linux/armv7hl |
| avgtime-v0.5.0+4.ffdf200-bp155.2.3 | Utility similar to "time", but with repetitions and more statistics | linux/armv7hl |
| azove-2.0-bp155.3.2 | Another Zero One Vertex Enumeration tool | linux/armv7hl |
| bc-1.07.1-11.3 | GNU Command Line Calculator | linux/armv7hl |
| bliss-0.73-bp154.2.1 | A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs | linux/armv7hl |
| buckygen-1.1-bp155.1.1 | Generator for nonisomorphic fullerenes | linux/armv7hl |
| cadabra2-2.4.3.2-bp155.1.1 | A computer algebra system for solving problems in field theory | linux/armv7hl |
| cadabra2-examples-2.4.3.2-bp155.1.1 | A computer algebra system for solving problems in field theory | linux/armv7hl |
| cadabra2-gui-2.4.3.2-bp155.1.1 | GUI for cadabra2: computer algebra system for problems in field theory | linux/armv7hl |
| calc-2.14.1.2-bp155.1.1 | C-style arbitrary precision calculator | linux/armv7hl |
| cddlib-tools-0.94m-bp154.2.1 | Programs for vertex generation using Double Description Method | linux/armv7hl |
| cliquer-1.22-bp155.1.1 | C routines for finding cliques in graphs | linux/armv7hl |
| cln-1.3.6-bp154.3.1 | Class Library for Numbers (C++) | linux/armv7hl |
| cm-0.4.0+gb2b8d4bd-bp155.1.2 | Class polynomial computation via floating point approximations | linux/armv7hl |
| cmh-1.1.1-bp155.1.2 | Igusa (genus 2) class polynomial computation | linux/armv7hl |
| coin-or-CoinUtils-devel-2.11.6-bp155.1.1 | Development headers for coin-or-CoinUtils | linux/armv7hl |
| conauto-2.03-bp155.1.1 | Algorithm for graph isomorphism testing and automorphism group computation | linux/armv7hl |
| coq-8.13.2-bp155.2.1 | Proof Assistant based on the Calculus of Inductive Constructions | linux/armv7hl |
| coq-ide-8.13.2-bp155.2.1 | IDE for The Coq Proof Assistant | linux/armv7hl |
| coxeter-3.1+git7-bp155.1.1 | Computation on Coxeter groups | linux/armv7hl |
| cxsc-2.5.4-bp154.2.1 | C++ library for Extended Scientific Computing (XSC) | linux/armv7hl |
| datamash-1.8-bp155.1.1 | Statistical, numerical and textual operations in the command line | linux/armv7hl |
| deepin-calculator-5.7.21-bp155.1.1 | The Deepin Calculator Application | linux/armv7hl |
| flocq-4.1.0-bp155.1.1 | Formalization of floating point numbers for Coq | linux/armv7hl |
| form-4.2.1-bp154.3.1 | A Symbolic Manipulation System | linux/armv7hl |
| fplll-5.4.4-bp155.1.1 | Lenstra-Lovász Lattice Basis Reduction Algorithm Library | linux/armv7hl |
| genius-1.0.27-bp154.2.1 | General purpose calculator and mathematics tool | linux/armv7hl |
| genius-devel-1.0.27-bp154.2.1 | Development files for Genius, a general purpose calculator | linux/armv7hl |
| gfan-0.6.2-bp155.3.1 | Calculation of Gröbner fans | linux/armv7hl |
| giac-1.9.0.27-bp155.2.2 | Computer algebra system | linux/armv7hl |
| glpk-5.0-bp155.2.1 | GNU Linear Programming Kit | linux/armv7hl |
| gmp-ecm-7.0.5-bp155.1.1 | Elliptic Curve Method for Integer Factorization | linux/armv7hl |
| gnome-calculator-41.1-1.1 | A GNOME Calculator Application | linux/armv7hl |
| gnome-genius-1.0.27-bp154.2.1 | GNOME interface for Genius, a general purpose calculator | linux/armv7hl |
| gnome-shell-search-provider-gnome-calculator-41.1-1.1 | GNOME Calculator -- Search Provider for GNOME Shell | linux/armv7hl |
| gp2c-0.0.13-bp155.1.1 | GP script to PARI C program compiler | linux/armv7hl |
| gsl-2.6-1.1 | GNU Scientific Library | linux/armv7hl |
| gsl_2_6-gnu-hpc-2.6-1.1 | GNU Scientific Library | linux/armv7hl |
| jupyter-cadabra2-kernel-2.4.3.2-bp155.1.1 | Jupyter kernel for cadabra2 | linux/armv7hl |
| libSingular-4_3_1-4.3.1-bp155.1.1 | Singular's Singular library | linux/armv7hl |
| libfactory-4_3_1-4.3.1-bp155.1.1 | Singular's factorization library | linux/armv7hl |
| libfftw3_mpi3-3.3.9-1.3 | Discrete Fourier Transform (DFT) C subroutine library | linux/armv7hl |
| libfftw3_omp3-3.3.9-1.3 | Discrete Fourier Transform (DFT) C subroutine library | linux/armv7hl |
| libfftw3_threads3-3.3.9-1.3 | Discrete Fourier Transform (DFT) C subroutine library | linux/armv7hl |
| liblpsolve55-0-5.5.2.0-1.2 | A Mixed Integer Linear Programming (MILP) Solver Library | linux/armv7hl |
| libqrupdate1-1.1.2-bp154.2.1 | Fortran library for fast updates of QR and Cholesky decompositions | linux/armv7hl |
| libsingular_resources-4_3_1-4.3.1-bp155.1.1 | Singular's "Singular" library | linux/armv7hl |
| libsundials3-5.2.0-bp154.2.1 | Suite of nonlinear solvers - main shared libraries | linux/armv7hl |
| libsundials3-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - main shared libraries | linux/armv7hl |
| libsundials3-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - main shared libraries | linux/armv7hl |
| libsundials3-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - main shared libraries | linux/armv7hl |
| libsundials3-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - main shared libraries | linux/armv7hl |
| libsundials_arkode4-5.2.0-bp154.2.1 | Suite of nonlinear solvers - arkode shared libraries | linux/armv7hl |
| libsundials_arkode4-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - arkode shared libraries | linux/armv7hl |
| libsundials_arkode4-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - arkode shared libraries | linux/armv7hl |
| libsundials_arkode4-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - arkode shared libraries | linux/armv7hl |
| libsundials_arkode4-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - arkode shared libraries | linux/armv7hl |
| libsundials_cvode5-5.2.0-bp154.2.1 | Suite of nonlinear solvers - cvode shared libraries | linux/armv7hl |
| libsundials_cvode5-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - cvode shared libraries | linux/armv7hl |
| libsundials_cvode5-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - cvode shared libraries | linux/armv7hl |
| libsundials_cvode5-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - cvode shared libraries | linux/armv7hl |
| libsundials_cvode5-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - cvode shared libraries | linux/armv7hl |
| libsundials_cvodes5-5.2.0-bp154.2.1 | Suite of nonlinear solvers - cvodes shared libraries | linux/armv7hl |
| libsundials_cvodes5-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - cvodes shared libraries | linux/armv7hl |
| libsundials_cvodes5-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - cvodes shared libraries | linux/armv7hl |
| libsundials_cvodes5-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - cvodes shared libraries | linux/armv7hl |
| libsundials_cvodes5-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - cvodes shared libraries | linux/armv7hl |
| libsundials_ida5-5.2.0-bp154.2.1 | Suite of nonlinear solvers - ida shared libraries | linux/armv7hl |
| libsundials_ida5-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - ida shared libraries | linux/armv7hl |
| libsundials_ida5-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - ida shared libraries | linux/armv7hl |
| libsundials_ida5-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - ida shared libraries | linux/armv7hl |
| libsundials_ida5-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - ida shared libraries | linux/armv7hl |
| libsundials_idas4-5.2.0-bp154.2.1 | Suite of nonlinear solvers - idas shared libraries | linux/armv7hl |
| libsundials_idas4-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - idas shared libraries | linux/armv7hl |
| libsundials_idas4-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - idas shared libraries | linux/armv7hl |
| libsundials_idas4-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - idas shared libraries | linux/armv7hl |
| libsundials_idas4-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - idas shared libraries | linux/armv7hl |
| libsundials_kinsol5-5.2.0-bp154.2.1 | Suite of nonlinear solvers - kinsol shared libraries | linux/armv7hl |
| libsundials_kinsol5-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - kinsol shared libraries | linux/armv7hl |
| libsundials_kinsol5-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - kinsol shared libraries | linux/armv7hl |
| libsundials_kinsol5-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - kinsol shared libraries | linux/armv7hl |
| libsundials_kinsol5-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - kinsol shared libraries | linux/armv7hl |
| libsundials_nvec5-5.2.0-bp154.2.1 | Suite of nonlinear solvers - nvec shared libraries | linux/armv7hl |
| libsundials_nvec5-mvapich2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - nvec shared libraries | linux/armv7hl |
| libsundials_nvec5-openmpi-5.2.0-bp155.2.1 | Suite of nonlinear solvers - nvec shared libraries | linux/armv7hl |
| libsundials_nvec5-openmpi2-5.2.0-bp154.2.1 | Suite of nonlinear solvers - nvec shared libraries | linux/armv7hl |
| libsundials_nvec5-openmpi3-5.2.0-bp155.2.1 | Suite of nonlinear solvers - nvec shared libraries | linux/armv7hl |
| lpsolve-5.5.2.0-1.2 | A Mixed Integer Linear Programming (MILP) Solver | linux/armv7hl |
| lrslib-7.2-bp155.1.1 | Reverse Search Vertex Enumeration program | linux/armv7hl |
| mathmod-11.1-bp155.1.1 | Mathematical modelling to visualise implicit and parametric surfaces | linux/armv7hl |
| mccs-1.1-bp154.3.1 | Multi Criteria CUDF Solver | linux/armv7hl |
| mcqd-1.0.0-bp155.1.1 | Algorithm to find the maximum clique in a graph | linux/armv7hl |
| metamath-0.198-bp155.4.1 | Formal proof verifier and proof assistant | linux/armv7hl |
| metis-5.1.0-10.1 | Serial Graph Partitioning and Fill-reducing Matrix Ordering | linux/armv7hl |
| metis_5_1_0-gnu-hpc-5.1.0-10.1 | Serial Graph Partitioning and Fill-reducing Matrix Ordering | linux/armv7hl |
| nasc-0.5.4-bp155.2.2 | Do maths like a normal person | linux/armv7hl |
| nauty-2.8.6-bp155.1.1 | Tools for computing automorphism groups of graphs | linux/armv7hl |
| normaliz-3.9.4-bp155.1.1 | Tools for computations in affine monoids and rational cones | linux/armv7hl |
| pantheon-calculator-0.1.3-bp155.2.2 | An elementary app for simple calculation | linux/armv7hl |
| pari-gp-2.15.2-bp155.1.1 | Frontend to the PARI Computer Algebra System | linux/armv7hl |
| plantri-5.3-bp155.1.1 | Programs for generating certain types of planar graphs | linux/armv7hl |
| pspp-1.4.1-bp155.4.1 | A program for statistical analysis of sampled data | linux/armv7hl |
| pspp-devel-doc-1.4.1-bp155.4.1 | PSPP Developers Guide | linux/armv7hl |
| pspp-doc-1.4.1-bp155.4.1 | Manual for PSPP | linux/armv7hl |
| ptscotch-mpich-6.1.0-bp155.2.1 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch-mvapich2-6.1.0-bp155.2.1 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch-openmpi2-6.1.0-bp155.2.1 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch-openmpi3-6.1.0-bp155.2.1 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch-openmpi4-6.1.0-bp155.2.1 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch_6_1_0-gnu-mpich-hpc-6.1.0-1.4 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch_6_1_0-gnu-mvapich2-hpc-6.1.0-1.7 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch_6_1_0-gnu-openmpi2-hpc-6.1.0-1.4 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch_6_1_0-gnu-openmpi3-hpc-6.1.0-1.4 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| ptscotch_6_1_0-gnu-openmpi4-hpc-6.1.0-1.4 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| python3-e-antic-1.3.0-bp155.1.1 | Real Embedded Algebraic Number Theory in C | linux/armv7hl |
| qalculate-2.2.1-bp154.2.1 | Multi-purpose desktop calulator application | linux/armv7hl |
| qrupdate-1.1.2-bp154.2.1 | Fortran library for fast updates of QR and Cholesky decompositions | linux/armv7hl |
| rkward-0.7.5-bp155.1.1 | Graphical frontend for R language | linux/armv7hl |
| rrdtool-1.7.0-6.4.1 | Round Robin Database Tool to store and display time-series data | linux/armv7hl |
| rrdtool-cached-1.7.0-6.4.1 | Data caching daemon for RRDtool | linux/armv7hl |
| scotch-6.1.0-bp155.2.1 | Graph, mesh and hypergraph partitioning library | linux/armv7hl |
| singular-4.3.1-bp155.1.1 | Singular CAS | linux/armv7hl |
| speedcrunch-0.12-bp155.5.1 | Calculator with history display, keyboard-oriented | linux/armv7hl |
| sympol-0.1.9-bp155.1.1 | Tool to work with symmetric polyhedra | linux/armv7hl |
| udunits2-2.2.28-bp154.2.1 | A library for manipulating units of physical quantities | linux/armv7hl |
| voro++-0.4.6-bp154.2.1 | Voronoi tessellation library | linux/armv7hl |
| xyscan-4.64-bp155.1.1 | Data extractor for data points from graphical plots | linux/armv7hl |
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jul 24 20:06:31 2026