OCaml logo

num

The Num library for arbitrary-precision integer and rational arithmetic
Description
Install
https://github.com/ocaml/ocaml
Authors
Maintainers
Dependencies
base-num
ocaml 
< "4.06.0"
Reverse Dependencies
aez
alt-ergo 
< "2.3.0"
alt-ergo-free 
< "2.3.3"
alt-ergo-lib
alt-ergo-lib-free
altgr-ergo 
< "2.3.0"
archetype 
>= "0.1.4"
base58
batteries
bignum 
>= "v0.10.0"
camlprime
cil
cloudi 
>= "1.7.4" & < "2.0.2"
coccinelle 
>= "1.0.0.1"
combine
coq 
< "8.14.0"
core_kernel 
= "v0.9.0"
cryptokit 
< "1.11"
csvfields 
>= "v0.10.0"
cubicle
datalog 
>= "0.5" & < "0.6"
deriving
deriving-ocsigen 
< "0.5"
exenum 
< "0.84"
feat-num
frama-c-base 
< "15.0"
fstar 
< "0.9.4.0-beta0"
General 
>= "0.4.0"
glsurf
goblint-cil 
< "1.7.4"
hardcaml 
< "v0.12.0"
hardcaml_waveterm
js_of_ocaml 
>= "3.10.0"
js_of_ocaml-compiler 
>= "3.10.0"
js_of_ocaml-lwt 
>= "3.10.0"
js_of_ocaml-ocamlbuild 
>= "3.10.0"
js_of_ocaml-ppx 
>= "3.10.0"
js_of_ocaml-ppx_deriving_json 
>= "3.10.0"
js_of_ocaml-toplevel 
>= "3.10.0"
js_of_ocaml-tyxml 
>= "3.10.0"
KaSim
kappa-library
kaputt
kind2
lem
logtk 
>= "2.1"
lustre-v6 
>= "6.103.3"
lutils
lutin
mldonkey 
>= "3.1.3"
msgpack
mysql_protocol
numerix
nunchaku
obigstore
ocamldbi
ocamlfind 
< "1.7.3"
ocamlyices
ocplib-simplex
ocs
orm
orpie
pfff 
< "0.40.4"
piqi 
>= "0.7.6"
polka
ppx_cstubs
pyml 
>= "20180530" & < "20200115"
rdbg 
< "1.175"
rlp
rml
sexplib 
>= "v0.9.0"
spirv 
< "1.1.2"
TCSLib
tplib
why3 
>= "1.0.0"
why3-base 
!= "0.88.0"
z3 
< "4.8.7"
zipperposition 
< "1.2"