Giters

Chris00 / ocaml-crlibm

Binding to CRlibm

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

arithmeticlibmmath-libraryrounding

Build status

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.

About

Binding to CRlibm

arithmeticlibmmath-libraryrounding

License:GNU Lesser General Public License v3.0

Languages

Language:C 80.3%Language:TeX 13.4%Language:JetBrains MPS 5.1%Language:OCaml 0.3%Language:M4 0.2%Language:C++ 0.2%Language:Makefile 0.2%Language:Shell 0.1%Language:CMake 0.1%Language:Dockerfile 0.0%Language:sed 0.0%