package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.3.0.tar.gz
sha256=40d18485911e343500a5636bbf1d84e2ee32f924fe87e5fd13a37641a4d8f226
md5=fe4da12b678a82faaeda4e58492ea871
Description
Published: 02 Mar 2021
Dependencies (4)
- num
-
ocamlbuild
build -
ocamlfind
build & >= "1.5.3" -
ocaml
>= "4.00.0" & < "4.13.0"
Dev Dependencies (3)
Used by (79)
- acp4
- acpc
- bamboo
- bookaml
-
bst
>= "5.0.0" - camlhighlight
- ccss
-
clangml
< "4.0.0" -
clangml-transforms
< "0.24" - cpm
- csvprovider
- daft
-
distributed
< "0.3.0" -
earlybird
< "1.0.0" -
electrumAnalyzer
< "0.3.5-2" -
expect
>= "0.0.4" - fasmifra
- fstar
- gen-bs
- get_line
-
goblint
< "2.0.0" -
goblint-cil
>= "1.8.0" & < "2.0.0" -
grib
< "0.11.0" - gtk-light
- hdf
-
horned_worm
< "0.3.1" - hts_shrink
-
jasmin
< "2022.09.0" -
jhupllib
>= "0.2.2" -
jingoo
< "1.2.13" - karamel
-
kremlin
< "transition" - lambdoc
- lbvs_consent
-
lilis
< "0.2.1" - line_oriented
- linwrap
- liquid_syntax
- markdown
- merlin-acme
- modelica_ml
-
molenc
< "16.5.0" - monadlib
- mutf8
- obandit
- obigstore
- odnnr
-
ogen
= "0.1.2" - omlr
- oplsr
- oranger
- orf
-
orrandomForest
>= "3.0.0" - orsvm_e1071
- orxgboost
- otetris
- pa_comprehension
- pardi
- pb-plugin
- pds-reachability
-
pgocaml
>= "1.7" & < "2.0" - portia
- ppx_nanocaml
- profound
- rankers
-
redis
< "0.2.1" - remu_ts
-
resource-pooling
< "0.2" - simple-bmc
- sparrow
- spirv
-
sqlexpr
>= "0.5.5" & < "0.7.1" - svmwrap
- telegraml
- testsimple
- typeid
-
ucorelib
>= "0.1.0" -
vcardgen
>= "1.1" -
yajl-extra
>= "0.7.3"