Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 8.3% dependent repos on hackage.haskell.org
hackage.haskell.org : crackNum
Crack IEEE-754 float formats and arbitrary sized words and integers, showing the layout. For details, please see: http://github.com/LeventErkok/crackNum/
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/crackNum
Keywords: bsd3, program, tools, floating-point, haskell, ieee754
License: BSD-3-Clause
Latest release: about 2 months ago
First release: about 9 years ago
Dependent packages: 1
Dependent repositories: 41
Downloads: 16,745 total
Stars: 16 on GitHub
Forks: 8 on GitHub
Total Commits: 96
Committers: 4
Average commits per author: 24.0
Development Distribution Score (DDS): 0.031
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago
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