Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

OTHER License

Downloads
85
Stars
227
Committers
30
View Code on GitHub
Ecosystems: OCaml

Commit Statistics

Past Year

All Time

Total Commits
9
251
Total Committers
6
38
Avg. Commits Per Committer
1.5
6.61
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
6
68
Merged Pull Requests
5
52
Total Issues
5
52
Time to Close Issues
28 days
7 months
Package Rankings
Top 8.96% on Alpine-edge
Top 31.76% on Formulae.brew.sh
Top 32.81% on Conda-forge.org
Related Projects
opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations,...

17 Feb 2012 1,236
ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
ocaml

The core OCaml system: compilers, runtime system, base libraries

20 Nov 2012 5,195
ocaml-makefile

Easy to use Makefile for small to medium-sized OCaml-projects

06 Jul 2014 74
rules_ocaml

OCaml build rules for Bazel

01 Oct 2016 37
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
decompress

Pure OCaml implementation of Zlib.

28 Apr 2015 116
otoml

TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

06 Dec 2020 51
ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libr...

27 Feb 2013 485
ocaml-multicore

Multicore OCaml

24 Apr 2015 763
gen

Simple, efficient iterators for OCaml

10 Feb 2014 58
num

The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be pa...

08 Dec 2016 38
js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932
ocaml-rs

OCaml extensions in Rust

15 Feb 2018 259