Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
376 lines (375 sloc) 12.6 KB
spkg:
atlas:
descr: Automatically Tuned Linear Algebra Software
name: ATLAS
url: http://math-atlas.sourceforge.net
boehm_gc:
descr: The Boehm-Demers-Weiser conservative garbage collector
name: boehm_gc
url: http://www.hboehm.info/gc/
boost_cropped:
descr: Free peer-reviewed portable C++ source libraries
name: Boost
url: https://www.boost.org
brial:
descr: Boolean Ring Algebra, fork of PolyBoRi (Boolean Polynomial Ring)
name: BRiAl
url: https://github.com/BRiAl/BRiAl
bzip2:
descr: High-quality data compressor
name: bzip2
url: http://www.bzip.org
cddlib:
descr: Double description method of Motzkin et al.
name: cddlib
url: https://www.inf.ethz.ch/personal/fukudak/cdd_home/
cliquer:
descr: Routines for clique searching
name: Cliquer
url: https://users.aalto.fi/~pat/cliquer.html
conway_polynomials:
descr: Frank L\"ubeck's tables of Conway polynomials over finite fields
name: conway_polynomials
url: http://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/
cvxopt:
descr: Convex optimization, linear programming, least squares, etc.
name: CVXOPT
url: https://cvxopt.org/
cython:
descr: C-Extensions for Python
name: Cython
url: https://cython.org
docutils:
descr: Open-source text processing system for processing plaintext documentation
into useful formats, such as HTML or LaTeX
name: Docutils
url: http://docutils.sourceforge.net
ecl:
descr: Embeddable Common-Lisp, an implementation of the Common Lisp language as
defined by the ANSI X3J13 specification
name: ECL
url: https://common-lisp.net/project/ecl/
eclib:
descr: John Cremona's programs for enumerating and computing with elliptic curves
defined over the rational numbers
name: eclib
url: http://homepages.warwick.ac.uk/staff/J.E.Cremona/mwrank/
ecm:
descr: Elliptic curve method for integer factorization
name: GMP-ECM
url: https://gforge.inria.fr/projects/ecm/
elliptic_curves:
descr: Cremona's mini tables of elliptic curves
name: elliptic_curves
url: http://johncremona.github.io/ecdata/
fflas_ffpack:
descr: A LGPL-2.1+ source code library for dense linear algebra over word-size
finite fields
name: FFLAS-FFPACK
url: http://linbox-team.github.io/fflas-ffpack/
flint:
descr: Fast Library for Number Theory
name: FLINT
url: http://www.flintlib.org
flintqs:
descr: William Hart's highly optimized multi-polynomial quadratic sieve for integer
factorization
name: flintqs
url: http://www.friedspace.com/QS/
fplll:
descr: Euclidean lattice reduction
name: fplll
url: https://github.com/fplll/fplll
freetype:
descr: A free, high-quality, and portable font engine
name: FreeType
url: https://www.freetype.org/
gap:
descr: Groups, Algorithms, Programming - a system for computational discrete algebra
name: GAP
url: http://www.gap-system.org
gcc:
descr: GCC, the GNU Compiler Collection
name: gcc
url: https://gcc.gnu.org/
gf2x:
descr: A C/C++ software package containing routines for fast arithmetic in GF(2)[x]
(multiplication, squaring, GCD) and searching for irreducible/primitive trinomials
name: GF2X
url: http://gf2x.gforge.inria.fr/
gfan:
descr: Gr\"obner fans and tropical varieties
name: Gfan
url: http://home.math.au.dk/jensen/software/gfan/gfan.html
gfortran:
descr: Fortran compiler from the GNU compiler collection
name: GFortran
url: https://gcc.gnu.org/fortran/
givaro:
descr: C++ library for arithmetic and algebraic computations
name: Givaro
url: https://casys.gricad-pages.univ-grenoble-alpes.fr/givaro/
glpk:
descr: GNU Linear Programming Kit
name: GLPK
url: https://www.gnu.org/software/glpk/glpk.html
graphs:
descr: A database of combinatorial graphs
name: graphs
url: https://jasongrout.org/graph_database
gsl:
descr: The GNU Scientific Library
name: GSL
url: https://www.gnu.org/software/gsl/
iconv:
descr: A library to enable different languages with different characters to be
handled properly
name: libiconv
url: https://www.gnu.org/software/libiconv/
iml:
descr: Integer Matrix Library
name: IML
url: https://cs.uwaterloo.ca/~astorjoh/iml.html
ipython:
descr: Interactive computing environment with an enhanced interactive Python shell
name: IPython
url: http://ipython.org
jinja2:
descr: State of the art, general purpose template engine
name: Jinja2
url: http://jinja.pocoo.org
jmol:
descr: Java viewer for chemical structures in 3D
name: Jmol
url: http://jmol.sourceforge.net
lcalc:
descr: Michael Rubinstein's L-function calculator
name: lcalc
url: http://oto.math.uwaterloo.ca/~mrubinst/L_function_public/L.html
libgap:
descr: LibGAP is essentially a fork of the upstream GAP kernel
name: LibGAP
url: https://bitbucket.org/vbraun/libgap
libgd:
descr: Dynamic graphics generation tool
name: GD
url: https://libgd.github.io
libpng:
descr: Bitmap image support
name: libpng
url: https://libpng.sourceforge.io
linbox:
descr: C++ template library for exact, high-performance linear algebra computation
with dense, sparse, and structured matrices over the integers and over finite
fields
name: LinBox
url: http://www.linalg.org
lrcalc:
descr: Littlewood-Richardson Calculator
name: lrcalc
url: http://sites.math.rutgers.edu/~asbuch/lrcalc/
m4ri:
descr: A library for fast arithmetic with dense matrices over GF(2)
name: M4RI
url: https://bitbucket.org/malb/m4ri
m4rie:
descr: A library for fast arithmetic with dense matrices over GF(2^e)
name: M4RI(e)
url: https://bitbucket.org/malb/m4rie
matplotlib:
descr: Python plotting library which produces publication quality figures in a
variety of hardcopy formats and interactive environments across platforms
name: matplotlib
url: https://matplotlib.org
maxima:
descr: System for manipulating symbolic and numerical expressions
name: Maxima
url: http://maxima.sourceforge.net
mpc:
descr: C library for the arithmetic of complex numbers with arbitrarily
high precision and correct rounding of the result
name: GNU MPC
url: http://www.multiprecision.org/mpc/
mpfi:
descr: Multiple precision interval arithmetic library based on MPFR
name: MPFI
url: http://perso.ens-lyon.fr/nathalie.revol/software.html
mpfr:
descr: C library for multiple-precision floating-point computations with correct rounding
name: GNU MPFR
url: https://www.mpfr.org
mpir:
descr: Multiple Precision Integers and Rationals
name: MPIR
url: http://www.mpir.org
mpmath:
descr: Pure Python library for multiprecision floating-point arithmetic
name: mpmath
url: http://mpmath.org
ncurses:
descr: A library of functions that manage an application's display on character-cell
terminals (e.g., VT100)
name: ncurses
url: http://invisible-island.net/ncurses
networkx:
descr: Python package for the creation, manipulation, and study of the structure,
dynamics, and functions of complex networks
name: NetworkX
url: http://networkx.github.io
ntl:
descr: A library for doing number theory
name: NTL
url: https://www.shoup.net/ntl/
numpy:
descr: Package for scientific computing with Python
name: NumPy
url: http://www.numpy.org
openblas:
descr: An optimized open library implementing the Basic Linear Algebra Subprograms
(BLAS) specification
name: OpenBLAS
url: https://www.openblas.net
palp:
descr: A package for analyzing lattice polytopes
name: PALP
url: http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html
pari:
descr: Computer algebra system for fast computations in number theory
name: PARI/GP
url: http://pari.math.u-bordeaux.fr
patch:
descr: Applies diffs and patches to files
name: GNU patch
url: http://savannah.gnu.org/projects/patch/
pexpect:
descr: Pure Python module that makes Python a better tool for controlling and
automating other programs
name: Pexpect
url: https://pexpect.readthedocs.io
pillow:
descr: Python Imaging Library
name: Pillow
url: https://python-pillow.org/
polytopes_db:
descr: Reflexive Polytopes Databases that include lists of 2- and 3-dimensional
reflexive polytopes
name: polytopes_db
url: http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html
ppl:
descr: The Parma Polyhedra Library (PPL) provides numerical abstractions especially
targeted at applications in the field of analysis and verification of complex
systems
name: PPL
url: https://www.bugseng.com/ppl
pygments:
descr: Generic syntax highlighter
name: Pygments
url: http://pygments.org
pynac:
descr: Symbolic computation with Python objects
name: Pynac
url: http://pynac.org
python:
descr: The Python programming language
name: Python
url: https://www.python.org
r:
descr: A free software environment for statistical computing and graphics
name: R
url: https://www.r-project.org
ratpoints:
descr: Find rational points on hyperelliptic curves
name: Ratpoints
url: http://www.mathe2.uni-bayreuth.de/stoll/programs/
readline:
descr: The GNU Readline library provides a set of functions for use by applications
that allow users to edit command lines as they are typed in
name: Readline
url: http://tiswww.case.edu/php/chet/readline/rltop.html
rpy2:
descr: Provides a low-level interface to R, a proposed high-level interface, including
wrappers to graphical libraries, as well as R-like structures and functions
name: RPy2
url: https://rpy2.bitbucket.io
rubiks:
descr: Optimal Rubik's cube solver
name: Rubik
url: http://www.cflmath.com/~reid/Rubik/optimal_solver.html
sagenb:
descr: The Sage Notebook server
name: SageNB
url: https://github.com/sagemath/sagenb
sagetex:
descr: The SageTeX package allows you to embed code, results of computations,
and plots from the Sage mathematics software suite into LaTeX documents
name: SageTeX
url: https://github.com/sagemath/sagetex
scipy:
descr: Scientific tools for Python
name: SciPy
url: https://www.scipy.org
scons:
descr: An open source software construction tool
name: SCons
url: https://www.scons.org
setuptools:
descr: Download, build, install, upgrade, and uninstall Python packages -- easily!
name: setuptools
url: https://pypi.org/project/setuptools/
singular:
descr: Computer algebra system for polynomial computations, with special emphasis
on commutative and non-commutative algebra, algebraic geometry, and singularity
theory
name: Singular
url: https://www.singular.uni-kl.de
sphinx:
descr: A tool that makes it easy to create intelligent and beautiful documentation
name: Sphinx
url: http://www.sphinx-doc.org
sqlite:
descr: Software library that implements a self-contained, serverless, zero-configuration,
transactional SQL database engine
name: SQLite
url: https://www.sqlite.org
symmetrica:
descr: Collection of C routines for representation theory
name: Symmetrica
url: http://www.algorithm.uni-bayreuth.de/en/research/SYMMETRICA/
sympow:
descr: Package to compute special values of symmetric power elliptic curve L-functions
name: SYMPOW
url: https://gitlab.com/rezozer/forks/sympow
sympy:
descr: Python library for symbolic mathematics
name: SymPy
url: https://www.sympy.org
tachyon:
descr: Parallel/multiprocessor ray tracing system
name: Tachyon
url: http://www.photonlimited.com/~johns/raytracer/
twisted:
descr: Event-driven networking engine written in Python
name: Twisted
url: https://twistedmatrix.com/trac
zlib:
descr: Data compression library
name: zlib
url: http://www.zlib.net
zn_poly:
descr: C library for polynomial arithmetic in Z/nZ[x]
name: zn_poly
url: https://web.maths.unsw.edu.au/~davidharvey/code/zn_poly/
spkg_embedded:
mathjax:
descr: a JavaScript library for displaying mathematical formulas
name: MathJax
url: https://www.mathjax.org
mwrank:
descr: Program for computing Mordell-Weil groups of elliptic curves over Q via
2-descent. Since November 2007 mwrank has formed part of the eclib package
name: mwrank
url: http://homepages.warwick.ac.uk/staff/J.E.Cremona/mwrank/
rpy:
descr: Simple and efficient access to R from Python
name: RPy
url: http://rpy.sourceforge.net