| ocamlPackages.js_of_ocaml-compiler 6.4.1 |
propagatedBuildInputs |
|
312 |
single |
| ocamlPackages.ppx_deriving_yojson 3.10.0 |
propagatedBuildInputs |
|
84 |
single |
| ocamlPackages.mirage-crypto-ec 2.4.1 |
buildInputs |
|
69 |
single |
| ocamlPackages.containers 3.16 |
buildInputs |
|
27 |
unmaintained outdated |
| ocamlPackages.h2 0.13.0 |
buildInputs |
|
21 |
single |
| ocamlPackages.atd 4.2.0 |
propagatedBuildInputs |
|
13 |
single |
| ocamlPackages.atdgen-runtime 4.2.0 |
propagatedBuildInputs |
|
12 |
single |
| ocamlPackages.ppx_yojson_conv_lib 0.17.0 |
propagatedBuildInputs |
|
10 |
unmaintained |
| ocamlPackages.graphql 0.14.0 |
propagatedBuildInputs |
|
8 |
single |
| frama-c 33.0 |
buildInputs |
|
4 |
maintained |
| ocamlPackages.github-data 4.5.1 |
propagatedBuildInputs |
|
4 |
single |
| ocamlPackages.jsonrpc 1.27.0 |
propagatedBuildInputs |
|
4 |
unmaintained |
| ocamlPackages.multicore-bench 0.1.7 |
propagatedBuildInputs |
|
4 |
single |
| ocamlPackages.ocf 0.9.0 |
propagatedBuildInputs |
|
4 |
single outdated |
| ocamlPackages.dream 1.0.0-alpha8 |
propagatedBuildInputs |
|
3 |
single |
| ocamlPackages.github 4.5.1 |
propagatedBuildInputs |
|
3 |
single |
| ocamlPackages.decoders-yojson 1.0.0 |
propagatedBuildInputs |
|
2 |
single |
| ocamlPackages.frama-c 33.0 |
propagatedBuildInputs |
|
2 |
maintained |
| ocamlPackages.gitlab 0.1.8 |
propagatedBuildInputs |
|
2 |
single |
| ocamlPackages.pbrt_yojson 4.1 |
propagatedBuildInputs |
|
2 |
single |
| ocamlPackages.rpclib 10.2.0 |
buildInputs |
|
2 |
single |
| ocamlPackages.cbor 0.5 |
buildInputs |
|
1 |
single |
| ocamlPackages.charon 2026.08.15 |
propagatedBuildInputs |
|
1 |
single |
| ocamlPackages.gapi-ocaml 0.4.9 |
propagatedBuildInputs |
|
1 |
single |
| ocamlPackages.get-activity-lib 2.0.1 |
propagatedBuildInputs |
|
1 |
single |
| ocamlPackages.goblint-cil 2.1.1 |
propagatedBuildInputs |
|
1 |
single |
| ocamlPackages.irmin-graphql 3.11.0 |
buildInputs |
|
1 |
maintained |
| ocamlPackages.jose 0.10.0 |
propagatedBuildInputs |
|
1 |
maintained outdated |
| ocamlPackages.ppx_deriving_rpc 10.2.0 |
buildInputs |
|
1 |
single |
| ocamlPackages.sail 0.20.1 |
propagatedBuildInputs |
|
1 |
unmaintained outdated |
| ocamlPackages.smtml 0.28.0 |
propagatedBuildInputs |
|
1 |
maintained outdated |
| stanc 2.40.0 |
buildInputs |
|
1 |
single |
| abella 2.0.8 |
buildInputs |
|
0 |
single outdated |
| acgtk 2.2.0 |
buildInputs |
|
0 |
single |
| cerberus 0-unstable-2025-12-15 |
buildInputs |
|
0 |
single outdated |
| docfd 12.3.2 |
buildInputs |
|
0 |
unmaintained outdated |
| dune-release 2.2.1 |
buildInputs |
|
0 |
single |
| easycrypt 2026.09 |
buildInputs |
|
0 |
single |
| gradescope-submit 2.0.2 |
buildInputs |
|
0 |
unmaintained |
| iprover 3.9.2 |
buildInputs |
|
0 |
single |
| jasmin-compiler 2026.09.0 |
buildInputs |
|
0 |
single |
| mopsa 1.1 |
propagatedBuildInputs |
|
0 |
single outdated |
| ocamlPackages.bap 2.5.0+pr1621 |
propagatedBuildInputs |
|
0 |
single outdated |
| ocamlPackages.graphql_ppx 1.2.3 |
propagatedBuildInputs |
|
0 |
maintained broken |
| ocamlPackages.irmin-tezos 3.11.0 |
buildInputs |
|
0 |
team-only |
| ocamlPackages.jwto 0.4.0 |
propagatedBuildInputs |
|
0 |
maintained |
| ocamlPackages.lambdapi 3.0.0 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.melange-json-native 2.0.0 |
propagatedBuildInputs |
|
0 |
maintained |
| ocamlPackages.merlin 5.8-505 |
buildInputs |
|
0 |
maintained |
| ocamlPackages.mezzo 0.0.m8 |
buildInputs |
|
0 |
unmaintained broken |
| ocamlPackages.mldoc 1.5.8 |
propagatedBuildInputs |
|
0 |
unmaintained |
| ocamlPackages.ocsigen-start 8.0.0 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.odoc 3.2.1 |
buildInputs |
|
0 |
single |
| ocamlPackages.opium 0.20.0 |
propagatedBuildInputs |
|
0 |
single broken |
| ocamlPackages.oui 0-unstable-2025-12-02 |
propagatedBuildInputs |
|
0 |
single outdated |
| ocamlPackages.rpclib-lwt 10.2.0 |
buildInputs |
|
0 |
single |
| ocamlPackages.telegraml unstable-2021-06-17 |
propagatedBuildInputs |
|
0 |
unmaintained outdated |
| ocamlPackages.wasm_of_ocaml-compiler 6.4.1 |
propagatedBuildInputs |
|
0 |
team-only |
| opam2json 0.5 |
buildInputs |
|
0 |
single |
| why3find 1.3.0 |
propagatedBuildInputs |
|
0 |
single |