Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Browse cluster: OCaml Systems and Utilities →Tech stack & purpose
Zarith is a library for OCaml that implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. Built on top of GMP (the GNU Multiple Precision arithmetic library), it optimizes performance by representing small integers as unboxed Caml integers while using GMP's low-level functions for larger values, with allocations managed through the Caml heap for better garbage collection. The library was developed by Antoine Miné at Sorbonne Université (formerly ENS Paris), Xavier Leroy at Collège de France (formerly Inria Paris), Pascal Cuoq at TrustInSoft, and Christophe Troestler, with the core work originating from the Abstraction project at LIENS.
Languages
Contributors (top 30 of 34)
- Antoine Miné129 commits
- Xavier Leroy114 commits · 851 followers
- Pascal Cuoq19 commits
- hhugo8 commits · 224 followers
- David Allsopp8 commits · 168 followers
- Daniel Hillerström8 commits · 167 followers
- Bernhard Schommer7 commits · 28 followers
- hhugo6 commits · 224 followers
- Christophe Troestler3 commits
- Et7f32 commits
- Marshall Roch2 commits
- Guillaume Melquiond2 commits · 23 followers
- ziat2 commits
- Simon Cruanes2 commits · 466 followers
- Frédéric Recoules2 commits · 8 followers
- Vincent Laporte2 commits · 79 followers
- Antonin Décimo2 commits · 96 followers
- Anil Madhavapeddy2 commits · 1,318 followers
- bjeannet2 commits
- rustina-devs1 commits
- Pau Ruiz Safont1 commits
- Andre1 commits · 17 followers
- Ricardo Fernández Serrata1 commits
- Jakov Smolic1 commits
- Alfredo Tupone1 commits
- Yishuai Li1 commits
- Max Mouratov1 commits · 38 followers
- Pierre Boutillier1 commits · 22 followers
- ayb1 commits
- Simmo Saan1 commits · 115 followers
