Packages tagged mathematics
21 packages have this tag.
[Merge tag] (trustees only)Related tags: library (20), bsd3 (15), math (5), maths (5), deprecated (4), program (4), algebra (3), data (3), optimization (3), category (2), formal-methods (2), mit (2), mpl (2), optimisation (2), theorem-provers (2), algorithms (1), animation (1), combinatorics (1), data-structures (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| LPPaver | 11 | 0.0 | 0 | An automated prover targeting problems that involve nonlinear real arithmetic | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification) | 2023-03-13 | 0.0.5.0 | JunaidRasheed |
| LargeCardinalHierarchy | 11 | 0.0 | 1 | A transfinite cardinal arithmetic library including all known large cardinals | (library, math, mathematics, maths, set-theory) | 2014-09-07 | 0.0.1 | Stephen_E_A_Britton |
| PropaFP | 9 | 0.0 | 1 | Auto-active verification of floating-point programs | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers) | 2023-03-12 | 0.1.2.0 | JunaidRasheed |
| RoundingFiasco | 19 | 0.0 | 0 | rounding variants floor, ceil and truncate for floating point operations +-*/√… | (interval, library, mathematics, mit, numerical, rounding) | 2024-04-09 | 0.1.0.0 | pauldennis |
| chainweb-mining-client | 10 | 0.0 | 0 | Mining Client for Kadena Chainweb | (bsd3, data, mathematics, program) | 2022-11-23 | 0.5 | larsk |
| digraph | 40 | 0.0 | 0 | Directed Graphs | (bsd3, data, library, mathematics) | 2023-02-03 | 0.3.0 | larsk, fosskers |
| imj-base | 5 | 2.0 | 2 | Game engine with geometry, easing, animated text, delta rendering. | (algorithms, animation, bsd3, game-engine, graphics, library, mathematics, optimisation, optimization, program, terminal, user-interface) | 2018-01-01 | 0.1.0.2 | OlivierSohn |
| inf-backprop | 15 | 2.0 | 0 | Automatic differentiation and backpropagation. | (bsd3, library, mathematics) | 2023-05-13 | 0.1.0.2 | AlexeyTochin |
| matroid | 12 | 2.0 | 0 | matroid (combinatorial pre-geometries) library | (bsd3, combinatorics, library, mathematics, optimization) | 2021-02-28 | 0.0.0.1.1 | alb |
| moving-averages | 11 | 0.0 | 1 | This is a library for calculating moving averages on lists of numbers. | (library, mathematics, mit) | 2017-05-12 | 0.2.0.0 | joshuaclayton |
| numhask-hedgehog (deprecated in favor of numhask) | 12 | 0.0 | 0 | Laws and tests for numhask | (bsd3, deprecated, library, mathematics) | 2020-05-20 | 0.4.0 | tonyday567 |
| numhask-prelude (deprecated in favor of numhask) | 30 | 0.0 | 8 | A numeric prelude | (bsd3, deprecated, library, mathematics) | 2020-05-20 | 0.5.0 | tonyday567 |
| numhask-test (deprecated in favor of numhask-hedgehog) | 4 | 0.0 | 1 | Laws and tests for numhask | (bsd3, deprecated, library, mathematics) | 2018-06-17 | 0.1.0.0 | tonyday567 |
| oalg-abg | 4 | 0.0 | 0 | Finitely generated abelian groups. | (algebra, bsd3, category, library, mathematics) | 2024-01-06 | 1.0.0.0 | zErichGuz |
| oalg-base | 11 | 0.0 | 0 | Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. | (algebra, bsd3, category, library, mathematics) | 2024-01-05 | 1.1.4.0 | zErichGuz |
| ordered | 5 | 0.0 | 2 | A definition of Posets. | (library, mathematics) | 2011-08-02 | 0.1 | MiguelPagano |
| plankton | 4 | 0.0 | 1 | The core of a numeric prelude, taken from numhask | (bsd3, library, mathematics) | 2017-11-16 | 0.0.0.1 | chessai |
| semirings | 184 | 2.0 | 18 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2021-01-07 | 0.6 | chessai |
| simple-expr | 16 | 0.0 | 1 | Minimalistic toolkit for simple mathematical expression. | (bsd3, library, mathematics) | 2023-08-05 | 0.1.1.0 | AlexeyTochin |
| simplex-method | 9 | 0.0 | 1 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2023-12-02 | 0.2.0.0 | JunaidRasheed |
| tower (deprecated in favor of numhask) | 9 | 0.0 | 1 | A numeric tower | (bsd3, deprecated, library, mathematics) | 2017-02-21 | 0.1.0 | tonyday567 |