Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org maintainers: LeventErkok
FloatingHex 0.5
Read and write hexadecimal floating point numbers. Provides a quasiquoter for entering hex-float ...5 versions - Latest release: over 3 years ago - 1 dependent package - 12 dependent repositories - 9.02 thousand downloads total - 1 maintainer
hArduino 1.2
hArduino allows Haskell programs to control Arduino boards (http://www.arduino.cc) and peripheral...12 versions - Latest release: over 1 year ago - 6 dependent repositories - 6.58 thousand downloads total - 70 stars on GitHub - 1 maintainer
sbvPlugin 9.8.2
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...19 versions - Latest release: 2 months ago - 1 dependent repositories - 6.17 thousand downloads total - 44 stars on GitHub - 1 maintainer
Top 4.0% on hackage.haskell.org
116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 76 thousand downloads total - 234 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...116 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 76 thousand downloads total - 234 stars on GitHub - 1 maintainer
conjugateGradient 2.2
Sparse matrix linear-equation solver, using the conjugate gradient algorithm. Note that the techn...8 versions - Latest release: about 11 years ago - 6.38 thousand downloads total - 15 stars on GitHub - 1 maintainer
linearEqSolver 2.3
Solve linear systems of equations over integers and rationals, using an SMT solver. linearEqSolv...8 versions - Latest release: about 4 years ago - 1 dependent repositories - 4.62 thousand downloads total - 8 stars on GitHub - 1 maintainer
crackNum 3.12
Crack IEEE-754 float formats and arbitrary sized words and integers, showing the layout. For det...28 versions - Latest release: 2 months ago - 1 dependent package - 41 dependent repositories - 16.7 thousand downloads total - 16 stars on GitHub - 1 maintainer