hackage.haskell.org "maths" keyword
planar-graph 1.0.0.0
1 version - Latest release: almost 14 years ago - 1 dependent repositories - 1.29 thousand downloads total - 1 maintainercolour-space 0.2.1.0
Colours form a manifold, in which inter-/extrapolation is guaranteed to stay in the gamut.9 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.29 thousand downloads total - 1 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 294 downloads total - 8 stars on GitHub - 1 maintainer
Top 9.7% on hackage.haskell.org
23 versions - Latest release: over 5 years ago - 7 dependent packages - 15 dependent repositories - 23.1 thousand downloads total - 44 stars on GitHub - 1 maintainer
semirings 0.5.4
Haskellers are usually familiar with monoids and semigroups. A monoid has an appending operation ...23 versions - Latest release: over 5 years ago - 7 dependent packages - 15 dependent repositories - 23.1 thousand downloads total - 44 stars on GitHub - 1 maintainer
FiniteCategoriesGraphViz 0.2.0.0
A way to visualize finite categories of the package FiniteCategories thanks to GraphViz. See Fini...2 versions - Latest release: over 2 years ago - 128 downloads total - 0 stars on gitlab.utc.fr - 1 maintainer
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme2 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 194 downloads total - 5 stars on GitHub - 1 maintainer
FiniteCategories 0.6.5.1
This package provides tools to create categories at the value level. This is different from the H...17 versions - Latest release: almost 2 years ago - 1 dependent package - 931 downloads total - 1 stars on gitlab.utc.fr - 1 maintainer
LargeCardinalHierarchy 0.0.1
Package maintainers For package maintainers and hackage trustees Candidates2 versions - Latest release: over 11 years ago - 2.08 thousand downloads total - 1 maintainer
simplex-method 0.2.0.0
Please see the README on GitHub at https://github.com/rasheedja/simplex-method#readme2 versions - Latest release: over 2 years ago - 3 dependent packages - 1 dependent repositories - 204 downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
library
9
Propose Tags
9
mathematics
6
data
5
math
5
haskell
4
bsd3
3
gpl
3
theorem-prover
2
theorem-provers
2
program
2
mpl
2
formal-methods
2
bsd-3-clause
1
optimization
1
optimisation
1
linear-programming
1
simplex-method
1
set-theory
1
Natural transformation
1
Mathematics
1
Limit
1
Haskell
1
Functor
1
Diagram
1
Diagonal functor
1
Cone
1
Colimit
1
Cocone
1
Category theory
1
Category
1
theorem-proving
1
automatic-theorem-proving
1
verification
1
data-structures
1
algebra
1
formal-verification
1
floating-point-arithmetic
1
floating-point
1
graphics
1
graphs
1