package crlibm

You can search for identifiers within the package.

in-package search v0.2.0

Binding to CRlibm, a correctly rounded math lib

Install

Dune Dependency

github.com Readme Changelog LGPL-3.0-only License Edit opam file Versions (6)

Authors

C

Christophe Troestler <Christophe.Troestler@umons.ac.be>

Maintainers

C

Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

crlibm-0.1.tbz

sha256=45c6c6bdb622bb25f4b1cdad40cd4050954aec83c1c7c7d89e18a57bd8733fc5

md5=f5d7975e3afa4ff11e8afd3e0c0a7ca6

README.md.html

README.md

Crlibm

This module is a binding to CRlibm, an efficient and proved correctly-rounded mathematical library. CRlibm is now superseded by MetaLibm but the latter requires some polishing and documentation. For the user convenience, this module embeds the relevant C code from the CRlibm Git repository.

Install

The easier is to use opam:

opam install crlibm

Documentation

See crlibm.mli, also available online.