Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter down-
Data
-
Algebra
-
Numerical
-
Numeric
-
Vector
-
Hmatrix
-
Algorithms
-
Statistics
-
Formal Methods
-
Data Structures
-
Mathematics
-
Theorem Provers
-
Random
-
Graphics
-
Number Theory
-
Geometry
-
SMT
-
Symbolic Computation
-
Language
-
FFI
-
Linear
-
Physics
-
Numhask
-
Cl3
-
Optimization
-
System
-
Crf
-
Symengine
-
Matrix
-
Foreign
-
Logic
-
JSON
-
Bit Vectors
-
Control
-
CSV
-
Plot
-
Semigroups
-
Mwc
-
Detour
-
Teaching
Math packages
Showing projects tagged as Math
-
arithmoi
9.4 8.2 HaskellEfficient basic number-theoretic functions. Primes, powers, integer logarithms. -
dimensional
8.9 5.2 HaskellStatically checked physical dimensions, using Type Families and Data Kinds. -
computational-algebra
8.8 6.8 HaskellWell-kinded computational algebra library, currently supporting Groebner basis. -
bayes-stack
8.4 0.0 HaskellFramework for inferring generative probabilistic models with Gibbs sampling