# Packages tagged mathematics

17 packages have this tag.

[Merge tag] (trustees only)Related tags: library (16), bsd3 (13), deprecated (4), math (4), maths (4), data (3), optimization (3), program (3), optimisation (2), algebra (1), algorithms (1), animation (1), combinatorics (1), data-structures (1), formal-methods (1), game-engine (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|

LargeCardinalHierarchy | 2 | 0.0 | A transfinite cardinal arithmetic library including all known large cardinals | (library, math, mathematics, maths, set-theory) | 2014-09-07 | Stephen_E_A_Britton |

PropaFP | 2 | 0.0 | Auto-active verification of floating-point programs | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers) | 2022-07-22 | JunaidRasheed |

chainweb-mining-client | 6 | 0.0 | Mining Client for Kadena Chainweb | (bsd3, data, mathematics, program) | 2020-08-21 | larsk |

digraph | 23 | 0.0 | Directed Graphs | (bsd3, data, library, mathematics) | 2021-08-02 | larsk, fosskers |

imj-base | 3 | 2.0 | 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 | OlivierSohn |

matroid | 4 | 2.0 | matroid (combinatorial pre-geometries) library | (bsd3, combinatorics, library, mathematics, optimization) | 2021-02-28 | alb |

moving-averages | 2 | 0.0 | This is a library for calculating moving averages on lists of numbers. | (library, mathematics, mit) | 2017-05-12 | joshuaclayton |

numhask | 54 | 2.25 | A numeric class hierarchy. | (bsd3, library, mathematics) | 2022-05-27 | tonyday567 |

numhask-hedgehog (deprecated in favor of numhask) | 4 | 0.0 | Laws and tests for numhask | (bsd3, deprecated, library, mathematics) | 2020-05-20 | tonyday567 |

numhask-prelude (deprecated in favor of numhask) | 14 | 0.0 | A numeric prelude | (bsd3, deprecated, library, mathematics) | 2020-05-20 | tonyday567 |

numhask-space | 32 | 0.0 | Numerical spaces. | (bsd3, library, mathematics) | 2022-02-03 | tonyday567 |

numhask-test (deprecated in favor of numhask-hedgehog) | 1 | 0.0 | Laws and tests for numhask | (bsd3, deprecated, library, mathematics) | 2018-06-17 | tonyday567 |

ordered | 4 | 0.0 | A definition of Posets. | (library, mathematics) | 2011-08-02 | MiguelPagano |

plankton | 5 | 0.0 | The core of a numeric prelude, taken from numhask | (bsd3, library, mathematics) | 2017-11-16 | chessai |

semirings | 148 | 2.0 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2021-01-07 | chessai |

simplex-method | 1 | 0.0 | Implementation of the two-phase simplex method in exact rational arithmetic | (bsd3, library, linear-programming, math, mathematics, maths, optimisation, optimization) | 2022-07-18 | JunaidRasheed |

tower (deprecated in favor of numhask) | 2 | 0.0 | A numeric tower | (bsd3, deprecated, library, mathematics) | 2017-02-21 | tonyday567 |