@hackage/Agda
A dependently typed functional programming language and proof assistant
@hackage/HQu
quantitative finance library
@hackage/acme-everything
Install everything.
@hackage/approx-rand-test
Approximate randomization test
@hackage/arpack
Solve large scale eigenvalue problems
@hackage/boltzmann-samplers
Uniform random generators
@hackage/chorale
A module containing basic functions that the prelude does not offer
@hackage/chorale-geo
A module containing basic geo functions
@hackage/copilot-bluespec
A compiler for Copilot targeting FPGAs.
@hackage/crackNum
Crack various integer and floating-point data formats
@hackage/dimensional
Statically checked physical dimensions
@hackage/fuzzyset
Fuzzy set data structure for approximate string matching
@hackage/gencheck
A testing framework inspired by QuickCheck and SmallCheck
@hackage/generic-random
Generic random generators for QuickCheck
@hackage/geom2d
package for geometry in euklidean 2d space
@hackage/hastache
Haskell implementation of Mustache templates
@hackage/hcoord
Easily convert between latitude/longitude, UTM and OSGB.
@hackage/hdbi-postgresql
PostgreSQL driver for hdbi
@hackage/hdbi-tests
test suite for testing HDBI
@hackage/hq
Quantitative Library
@hackage/hslua-aeson
Allow aeson data types to be used with Lua.
@hackage/idris
Functional Programming Language with Dependent Types
@hackage/inline-r
Seamlessly call R from Haskell and vice versa. No FFI required.
@hackage/javelin
Labeled one-dimensional arrays
@hackage/kicad-data
Parser and writer for KiCad files.
@hackage/language-c99-util
Utilities for language-c99.
@hackage/linear-algebra-cblas
A linear algebra library with bindings to BLAS and LAPACK
@hackage/linearmap-category
Native, complete-ish, matrix-free linear algebra.
@hackage/manifolds
Coordinate-free hypersurfaces
@hackage/math-functions
Collection of tools for numeric computations