|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
libnumerix-ocaml-dev
| libnumerix-ocaml-dev | Numerix "big integer" library for OCaml | | Priority | |
| Section | libdevel |
| Installed size | 2636 |
| Maintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Architecture | i386 |
| Version | 0.22-3 |
| Depends | libgmp3-dev, libnumerix-ocaml (= 0.22-3) |
| Suggests | numerix-doc (= 0.22-3) |
| File name | pool/main/n/numerix/libnumerix-ocaml-dev_0.22-3_i386.deb |
| Description | The Numerix library provides unlimited precision integer arithmetic facilities for use in OCaml programs. This package contains all the libraries and headers that are needed to build programs that use the OCaml interface to Numerix. . Numerix is a library implementing arbitrary long signed integers and the usual arithmetic operations between those numbers. The algorithms and native (C and assembly) code implementations in Numerix compare well to the other multi-precision libraries commonly available, especially Big (the adaptation of BigNum for Camllight/Ocaml) and GMP. Also, OCaml programmers are likely to find the Numerix API more natural and more complete than BigNum / Nat, especially for modular arithmetic applications such as cryptography. Several implementations of the low-level primitives are provided, including one that uses BigNum and one that uses GMP. |
|
|
|
Etude RTOS