Choose a News item and you can browse, search, and post messages.
Zarith 1.2 released
Zarith is a fast, space-efficient, GMP-based library for arbitrary-precision integer and rational arithmetic. This minor release fixes a couple of bugs, improves Windows/Mingw support, and adds a fast path coded in assembly for ARM processors.
Zarith 1.1 released
ZArith is a fast, space-efficient, GMP-based library for arbitrary-precision integer and rational arithmetic. This minor release brings a few bug fixes, minor performance improvements, and improved support for future OCaml versions.
Zarith 1.0 released
First release of Zarith, a new OCaml library for exact, arbitrary-precision arithmetic over integers and rationals. This library is both space- and time-efficient, owing to the use of unboxed integers for small integers and GMP for big integers.
