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
-
Linear
-
Language
-
Matrix
-
Physics
-
Optimization
-
FFI
-
Logic
-
Numhask
-
Accelerate
-
Teaching
-
Cl3
-
Testing
-
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.1 HaskellAn efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . -
sbv
9.5 7.0 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. -
arithmoi
9.5 0.0 HaskellNumber theory: primes, arithmetic functions, modular computations, special sequences -
hgeometry
9.3 8.4 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. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees. -
dimensional
9.1 6.0 HaskellDimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). -
mwc-random
8.9 1.0 HaskellA very fast Haskell library for generating high quality pseudo-random numbers. -
numhask
8.8 3.1 HaskellA haskell numeric prelude, providing a clean structure for numbers and operations that combine them.