https://github.com/chris00/ocaml-crlibm

Binding to CRlibm
https://github.com/chris00/ocaml-crlibm

arithmetic libm math-library rounding

Last synced: 11 months ago
JSON representation

Binding to CRlibm

• Host: GitHub
• URL: https://github.com/chris00/ocaml-crlibm
• Owner: Chris00
• License: lgpl-3.0
• Created: 2018-05-14T09:41:27.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2023-07-25T10:23:23.000Z (over 2 years ago)
• Last Synced: 2025-03-20T12:54:29.852Z (11 months ago)
• Topics: arithmetic, libm, math-library, rounding
• Language: C
• Size: 2.33 MB
• Stars: 14
• Watchers: 3
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • License: LICENSE.md

Awesome Lists containing this project

README

          
![Build status](https://github.com/Chris00/ocaml-crlibm/actions/workflows/main.yml/badge.svg)

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][crlibm-git].

[CRlibm]: https://web.archive.org/web/20161027224938/http://lipforge.ens-lyon.fr/www/crlibm

[crlibm-git]: https://scm.gforge.inria.fr/anonscm/git/metalibm/crlibm.git

[MetaLibm]: http://www.metalibm.org/

Install

-------

The easier is to use opam:

    opam install crlibm

Documentation

-------------

See [crlibm.mli](src/crlibm.mli), also available

[online](https://Chris00.github.io/ocaml-crlibm/doc/crlibm/Crlibm/).