[go: up one dir, main page]

       _            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/

Enter the query into the form above. You can look for specific version of a package by using @ symbol like this: gcc@10.

API method:

GET /api/packages?search=hello&page=1&limit=20

where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned in response headers.

If you'd like to join our channel webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


mate-polkit 1.28.1
Dependencies: accountsservice@23.13.9 glib@2.83.3 gobject-introspection@1.82.0 gtk+@3.24.51 gdk-pixbuf@2.42.12 polkit@121
Channel: guix
Location: gnu/packages/mate.scm (gnu packages mate)
Home page: https://mate-desktop.org/
Licenses: LGPL 2.1
Build system: glib-or-gtk
Synopsis: Polkit authentication agent for MATE
Description:

MATE Polkit is a MATE specific D-Bus service that is used to bring up authentication dialogs.

python-mathics-scanner 1.4.1
Propagated dependencies: python-chardet@5.2.0 python-click@8.1.8 python-pyyaml@6.0.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mathics.org/
Licenses: GPL 3+
Build system: pyproject
Synopsis: Character tables and tokenizer for Mathics and the Wolfram language
Description:

This package provides character tables and a tokenizer for Mathics and the Wolfram language.

hypre 2.32.0
Dependencies: openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computing.llnl.gov/projects/hypre-scalable-linear-solvers-multigrid-methods
Licenses: LGPL 2.1
Build system: gnu
Synopsis: Library of solvers and preconditioners for linear equations
Description:

HYPRE is a software library of high performance preconditioners and solvers for the solution of large, sparse linear systems of equations. It features multigrid solvers for both structured and unstructured grid problems.

libfixmath 0-1.1416c99
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://code.google.com/archive/p/libfixmath/
Licenses: Expat
Build system: cmake
Synopsis: Cross platform fixed point maths library
Description:

This library implements the math.h functions in fixed point (16.16) format.

dune-grid 2.10.0
Dependencies: dune-common@2.10.0 dune-geometry@2.10.0 gmp@6.3.0 metis@5.1.0 openblas@0.3.30 python@3.11.14
Propagated dependencies: dune-uggrid@2.10.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

This package contains the basic DUNE grid classes.

dealii 9.7.1
Dependencies: arpack-ng@3.9.1 openblas@0.3.30 gfortran@14.3.0 muparser@2.3.5 taskflow@3.10.0 zlib@1.3.1
Propagated dependencies: boost@1.89.0 hdf5@1.14.6 kokkos@4.6.02 suitesparse@5.13.0 sundials@7.1.1 tbb@2021.6.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.dealii.org/
Licenses: LGPL 2.1+
Build system: cmake
Synopsis: Finite element library
Description:

Deal.II is a C++ program library targeted at the computational solution of partial differential equations using adaptive finite elements. The main aim of deal.II is to enable rapid development of modern finite element codes, using among other aspects adaptive meshes and a wide array of tools often used in finite element programs.

kissat 4.0.1
Dependencies: xz@5.4.5 gzip@1.14 lzip@1.25 bzip2@1.0.8 p7zip@25.01
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/arminbiere/kissat
Licenses: Expat
Build system: gnu
Synopsis: Bare-metal SAT solver
Description:

Kissat is a bare-metal SAT-solver written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

clp 1.17.6
Dependencies: openblas@0.3.30
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.coin-or.org
Licenses: EPL 1.0
Build system: gnu
Synopsis: Linear programming solver
Description:

CLP is a high quality linear programming solver. Its main strengths are its dual and primal Simplex algorithms. It also has a barrier algorithm for linear and quadratic objectives. There are limited facilities for nonlinear and quadratic objectives using the Simplex algorithm.

opencascade-occt 7.6.2
Dependencies: freetype@2.13.3 glu@9.0.2 libxext@1.3.6 libxi@1.8.2 libxmu@1.2.1 mesa@25.2.3 tbb@2020.3 tcl@8.6.12 tk@8.6.12
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.opencascade.com
Licenses: LGPL 2.1 Expat GPL 3+ non-copyleft Public Domain
Build system: cmake
Synopsis: Libraries for 3D modeling and numerical simulation
Description:

Open CASCADE is a set of libraries for the development of applications dealing with 3D CAD data or requiring industrial 3D capabilities. It includes C++ class libraries providing services for 3D surface and solid modeling, CAD data exchange, and visualization. It is used for development of specialized software dealing with 3D models in design (CAD), manufacturing (CAM), numerical simulation (CAE), measurement equipment (CMM), and quality control (CAQ) domains.

This is the certified version of the Open Cascade Technology (OCCT) library.

dune-grid-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 gmp@6.3.0 metis@5.1.0 openblas@0.3.30 python@3.11.14 openmpi@4.1.6
Propagated dependencies: dune-uggrid-openmpi@2.10.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

This package contains the basic DUNE grid classes.

python-kiwisolver 1.4.6
Propagated dependencies: python-typing-extensions@4.15.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/nucleic/kiwi
Licenses: Modified BSD
Build system: pyproject
Synopsis: Fast implementation of the Cassowary constraint solver
Description:

Kiwi is an efficient C++ implementation of the Cassowary constraint solving algorithm. Kiwi has been designed from the ground up to be lightweight and fast. Kiwi ranges from 10x to 500x faster than the original Cassowary solver with typical use cases gaining a 40x improvement. Memory savings are consistently > 5x.

suitesparse 5.13.0
Dependencies: tbb@2021.6.0 openblas@0.3.30 gmp@6.3.0 mpfr@4.2.2 metis@5.1.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://faculty.cse.tamu.edu/davis/suitesparse.html
Licenses: GPL 2+ LGPL 2.1+
Build system: gnu
Synopsis: Suite of sparse matrix software
Description:

SuiteSparse is a suite of sparse matrix algorithms, including: UMFPACK, multifrontal LU factorization; CHOLMOD, supernodal Cholesky; SPQR, multifrontal QR; KLU and BTF, sparse LU factorization, well-suited for circuit simulation; ordering methods (AMD, CAMD, COLAMD, and CCOLAMD); CSparse and CXSparse, a concise sparse Cholesky factorization package; and many other packages.

This package contains all of the above-mentioned parts.

speedcrunch 0.12.0
Dependencies: qtbase@5.15.17
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://speedcrunch.org/
Licenses: GPL 2+
Build system: cmake
Synopsis: High-precision scientific calculator
Description:

SpeedCrunch is a high-precision scientific calculator. It features a syntax-highlighted scrollable display and is designed to be fully used via keyboard. Some distinctive features are auto-completion of functions and variables, a formula book, and quick insertion of constants from various fields of knowledge.

openblas 0.3.30
Dependencies: gfortran@14.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.openblas.net/
Licenses: Modified BSD
Build system: gnu
Synopsis: Optimized BLAS library based on GotoBLAS
Description:

OpenBLAS is a Basic Linear Algebra Subprograms (BLAS) library forked from the GotoBLAS2-1.13 BSD version.

sundials 5.8.0
Dependencies: openblas@0.3.30 suitesparse@5.13.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://computation.llnl.gov/projects/sundials
Licenses: Modified BSD
Build system: cmake
Synopsis: Suite of nonlinear and differential/algebraic equation solvers
Description:

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

p4est 2.0
Dependencies: gfortran@14.3.0 openblas@0.3.30 zlib@1.3.1
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.p4est.org
Licenses: GPL 2+
Build system: gnu
Synopsis: Adaptive mesh refinement on forests of octrees
Description:

The p4est software library enables the dynamic management of a collection of adaptive octrees, conveniently called a forest of octrees. p4est is designed to work in parallel and scales to hundreds of thousands of processor cores.

gsl 2.8
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://www.gnu.org/software/gsl/
Licenses: GPL 3+
Build system: gnu
Synopsis: Numerical library for C and C++
Description:

The GNU Scientific Library is a library for numerical analysis in C and C++. It includes a wide range of mathematical routines, with over 1000 functions in total. Subject areas covered by the library include: differential equations, linear algebra, Fast Fourier Transforms and random numbers.

suitesparse-colamd 3.3.4
Propagated dependencies: suitesparse-config@7.10.2
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.engr.tamu.edu/davis/suitesparse.html
Licenses: Modified BSD
Build system: cmake
Synopsis: Column Approximate Minimum Degree Ordering
Description:

COLAMD is library for computing a permutation vector for a matrix with which the LU factorization becomes sparser.

highfive 2.10.1
Dependencies: hdf5@1.14.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://bluebrain.github.io/HighFive/
Licenses: X11-style
Build system: cmake
Synopsis: Header-only C++ HDF5 interface
Description:

HighFive is a header-only C++11 friendly interface for libhdf5. It supports STL vector/string, Boost::UBLAS, Boost::Multi-array and Xtensor; and handles C++ from/to HDF5 with automatic type mapping. HighFive does not require additional libraries.

dune-localfunctions-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 metis@5.1.0 superlu@5.3.0 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Build system: cmake
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

This DUNE module provides interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

This package provides an interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

double-conversion 3.1.5
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/google/double-conversion
Licenses: Modified BSD
Build system: cmake
Synopsis: Conversion routines for IEEE doubles
Description:

The double-conversion library provides binary-decimal and decimal-binary routines for IEEE doubles. The library consists of efficient conversion routines that have been extracted from the V8 JavaScript engine.

combinatorial-blas 1.6.2
Dependencies: openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://people.eecs.berkeley.edu/~aydin/CombBLAS/html/
Licenses: GPL 2+ X11 Modified BSD
Build system: cmake
Synopsis: Linear algebra primitives for graph analytics
Description:

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.

ruby-asciimath 2.0.4
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://github.com/asciidoctor/asciimath
Licenses: Expat
Build system: ruby
Synopsis: AsciiMath parsing and conversion library
Description:

A pure Ruby AsciiMath parsing and conversion library. AsciiMath is an easy-to-write markup language for mathematics.

mcrl2-minimal 202307.1
Dependencies: boost@1.89.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://mcrl2.org
Licenses: Boost 1.0
Build system: cmake
Synopsis: Toolset for the mCRL2 formal specification language
Description:

mCRL2 (micro Common Representation Language 2) is a formal specification language for describing concurrent discrete event systems. Its toolset supports analysis and automatic verification, linearisation, simulation, state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.

Page: 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875
Total results: 68978