Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "maths" keyword
colour-space 0.2.1.0
Colours form a manifold, in which inter-/extrapolation is guaranteed to stay in the gamut.9 versions - Latest release: 10 months ago - 1 dependent repositories - 4.91 thousand downloads total - 1 stars on GitHub - 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: 5 months ago - 1 dependent package - 1 dependent repositories - 94 downloads total - 6 stars on GitHub - 1 maintainer
Top 9.7% on hackage.haskell.org
22 versions - Latest release: almost 4 years ago - 6 dependent packages - 15 dependent repositories - 19.8 thousand downloads total - 40 stars on GitHub - 1 maintainer
semirings 0.5.4
Haskellers are usually familiar with monoids and semigroups. A monoid has an appending operation ...22 versions - Latest release: almost 4 years ago - 6 dependent packages - 15 dependent repositories - 19.8 thousand downloads total - 40 stars on GitHub - 1 maintainer
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme2 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 92 downloads total - 5 stars on GitHub - 1 maintainer
planar-graph 1.0.0.0
1 version - Latest release: about 12 years ago - 1 dependent repositories - 1.23 thousand downloads total - 1 maintainerLargeCardinalHierarchy 0.0.1
Package maintainers For package maintainers and hackage trustees Candidates2 versions - Latest release: over 9 years ago - 1.98 thousand downloads total - 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: 7 months ago - 22 downloads total - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: about 1 year ago - 2 dependent packages - 2 dependent repositories - 141 downloads total - 6 stars on GitHub - 1 maintainer
FiniteCategories 0.6.4.0
This package provides tools to create categories at the value level. This is different from the H...15 versions - Latest release: 2 months ago - 1 dependent package - 257 downloads total - 1 maintainer
Related Keywords
library
9
mathematics
6
data
5
math
5
haskell
4
gpl
3
bsd3
3
theorem-provers
2
program
2
mpl
2
formal-methods
2
theorem-prover
2
verification
1
automatic-theorem-proving
1
theorem-proving
1
graphs
1
set-theory
1
floating-point
1
floating-point-arithmetic
1
formal-verification
1
data-structures
1
algebra
1
simplex-method
1
bsd-3-clause
1
optimization
1
optimisation
1
linear-programming
1
graphics
1