Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter down-
Data
-
Algebra
-
Numeric
-
Numerical
-
Vector
-
Statistics
-
Algorithms
-
Hmatrix
-
Formal Methods
-
Data Structures
-
Mathematics
-
Theorem Provers
-
Number Theory
-
Random
-
Geometry
-
Symbolic Computation
-
Graphics
-
SMT
-
Language
-
Linear
-
Physics
-
Matrix
-
Numhask
-
Optimization
-
FFI
-
Cl3
-
Accelerate
-
Teaching
-
Testing
-
Logic
-
Compilers/Interpreters
-
CSV
-
Linear Algebra
-
System
-
Symengine
-
Foreign
-
Mcmc
-
Detour
-
Control
-
Semigroups
-
Parallelism
-
Plot
-
JSON
-
Mwc
-
Concurrency
-
Bit Vectors
-
Groups
-
Optimisation
-
Singletons
-
Dependent Types
-
Crf
Math packages
Showing projects tagged as Math
-
vector
9.8 6.2 HaskellAn efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . -
sbv
9.6 9.9 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. -
arithmoi
9.5 6.7 HaskellNumber theory: primes, arithmetic functions, modular computations, special sequences -
hgeometry
9.4 7.8 HaskellHGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. -
dimensional
9.2 6.6 HaskellDimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). -
numhask
8.9 1.4 HaskellA haskell numeric prelude, providing a clean structure for numbers and operations that combine them. -
mwc-random
8.9 7.9 HaskellA very fast Haskell library for generating high quality pseudo-random numbers. -
matrix
8.8 0.0 HaskellDISCONTINUED. A Haskell native implementation of matrices and their operations.