softfloat-hs alternatives and similar packages
Based on the "Math" category.
Alternatively, view softfloat-hs alternatives based on common mentions on social networks and blogs.
-
-
-
vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . -
-
-
-
-
-
hgeometry
HGeometry 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
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+). -
-
-
-
-
-
-
-
-
-
-
numhask
A haskell numeric prelude, providing a clean structure for numbers and operations that combine them. -
-
-
poly
Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent) -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
eigen
Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms. -
-
-
-
InfluxDB – Built for High-Performance Time Series Workloads
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of softfloat-hs or a related project?
README
softfloat-hs - Haskell bindings for SoftFloat.
copyright (c) Ben Selfridge, Galois Inc. 2018
This library consists primarily of a Haskell interface to John Hauser's SoftFloat library (http://www.jhauser.us/arithmetic/SoftFloat.html). It provides a pure interface to the functions in that library; while the C library is actually impure, reading and writing to global variables (rounding mode, exceptions), the Haskell functions have a pure interface, and those variables that were global in the original library are captured as input arguments and additional outputs of each function.
Installation
Step 1: Install softfloat
SoftFloat is not too complicated to install, but it is best to build a dynamic
library so that softfloat-hs can be loaded into ghci (which does not support
statically linked C libraries). For convenience, we provide SoftFloat itself as a
submodule, as well as a Makefile to install it on Linux/OSX:
$ git submodule update --init --recursive
$ make
$ sudo make install
Step 2: Build softfloat-hs
With stack:
stack build
With cabal new-build:
cabal new-build softfloat-hs
Step 3: Test softfloat-hs
stack ghci
> let Result x flags = ui32ToF32 RoundNearEven 23
> :m +Numeric
> showHex x ""
"41b80000"
> flags
ExceptionFlags {inexact = False, underflow = False, overflow = False, infinite = False, invalid = False}
> let Result y flags = ui32ToF32 RoundNearEven 3
> showHex y ""
"40400000"
> let Result z flags = f32Div RoundNearEven x y
> showHex z ""
"40f55555"
> flags
ExceptionFlags {inexact = True, underflow = False, overflow = False, infinite = False, invalid = False}
Requirements
The following are a list of mandatory and secondary requirements for softfloat-hs.
Mandatory Requirements
- Must provide a "pure" Haskell interface to all of the SoftFloat functions.
- Must make explicit ALL global variables involved.
Secondary Requirements
- Support 80-bit and 128-bit operations.
Current Status
The library is functional, although a few global variables are not yet captured (whether underflow is detected before or after rounding, for example).
Known issues
Building softfloat on Darwin currently has some issues -- for whatever reason, some of the conversion functions to not work correctly in some of the corner cases (f32ToI32 in particular). We are investigating this currently.
Other information
- contact: [email protected]