OCamllabs icon Home|Differences with the last checks|Previous runs

Filter form:
Only show these compilers:
Only show packages available in:
Show only:
Only show packages whose build status differs between each compilers:
Only show the latest version of each packages:
Sort by number of revdeps:
Only show packages maintained by [posix regexp]:
Only show packages whose log matches [posix regexp]:
Legend:
☑Package successfully built
☒One of the dependencies failed to build
☒Package failed to build
☒Package is not available in this environment
☒Internal failure
About this run:

Packages with current filters: 2816
Packages failing with current filters: 833
Packages whose dependencies failed with current filters: 3

Run made on the 2026-05-15 08:41:58


5.3-dune5.3-opamnumber of revdeps
0install.2.18☒☑1
0install-gtk.2.18☒☑0
0install-solver.2.18☑☑16
ANSITerminal.0.8.5☑☑23
CamelCase.0.3.0☑☑0
FrontC.4.1.0☑☑11
GT.0.5.4☒☑3
ISO3166.0.1.0☑☑0
ISO8601.0.2.6☑☑46
MlFront_Cache.2.4.2.30☒☑1
MlFront_Cli.2.4.2.30☒☑2
MlFront_Codept.2.4.2.30☒☑1
MlFront_Config.2.4.2.30☒☑2
MlFront_Core.2.4.2.30☒☑6
MlFront_Errors.2.4.2.30☒☑4
MlFront_Exec.2.4.2.30☒☑0
MlFront_Logs.2.4.2.30☒☑1
MlFront_Manip.2.4.2.30☒☑0
MlFront_Signify.2.4.2.30☒☑1
MlFront_Thunk.2.4.2.30☒☑1
MlFront_Tools.2.4.2.30☒☑0
MlFront_ZipFile.2.4.2.30☒☑2
OCADml.0.6.0☑☑2
OCanren.0.3.0☒☑1
OCanren-ppx.0.3.0☒☑2
OSCADml.0.2.3☒☑1
SZXX.4.2.0☑☑0
abella.2.0.8☑☑0
absolute.0.3☒☑0
abstract_algebra.v0.17.0☑☑7
accessor.v0.17.0☒☑4
accessor_async.v0.17.0☑☑0
accessor_base.v0.17.0☑☑2
accessor_core.v0.17.0☒☑1
acgtk.2.2.0☒☑0
aches.1.1.0☑☑1
aches-lwt.1.1.0☑☑0
acp4.1.1.0☒☑0
acpc.2.0.0☒☑0
adelfa.0.1☒☑0
adobe_font_metrics.1.0.0☑☑0
afl-persistent.1.4☑☑33
agrid.0.1☑☑1
ahrocksdb.0.2.2☒☒0
ai-sdk-react.0.3☒☑0
aifad.2.3.2☒☑0
alba.0.4.4☑☑0
albatross.2.7.1☒☑0
alcobar.0.3.1☑☑2
alcotest.1.9.1☑☑668
alcotest-async.1.9.1☑☑5
alcotest-js.1.9.1☒☑0
alcotest-lwt.1.9.1☑☑87
alcotest-mirage.1.9.1☑☑0
alg_structs.0.1.3☑☑1
alg_structs_qcheck.0.1.3☒☑0
algaeff.2.0.0☑☑4
alice.0.5.0☒☑0
allegro5.0.2☒☑0
alonzo.0.4.0☒☑0
alsa.0.3.0☒☑6
alt-ergo.2.6.3☒☑9
alt-ergo-free.2.4.3☒☑7
alt-ergo-lib.2.6.3☒☑12
alt-ergo-parsers.2.6.3☒☑9
alt-ergo-plugin-ab-why3.2.6.3☒☑0
altgr-ergo.2.4.3☒☑0
ambient-context.0.2☑☑17
ambient-context-eio.0.2☑☑1
ambient-context-lwt.0.2☑☑4
amqp-client.2.3.0☑☑2
amqp-client-async.2.3.0☑☑0
amqp-client-lwt.2.3.0☑☑0
ancient.0.10.0☑☑2
anders.5.1.0☒☑0
angstrom.0.16.1☒☑791
angstrom-async.0.16.1☑☑3
angstrom-lwt-unix.0.16.1☑☑4
angstrom-unix.0.16.1☑☑6
ansi.0.7.0☑☑6
ansi-parse.0.4.0☑☑0
ansifmt.2.0.0☑☑0
anthropic.0.1.0☒☑0
antic.0.4.0☒☒5
ao.0.2.4☒☑6
apronext.1.0.4☒☑3
arb.0.4.0☒☒5
arc.0.0.2☒☑0
archetype.1.5.3☑☑0
archi.0.2.0☑☑2
archi-async.0.2.0☒☑0
archi-lwt.0.2.0☑☑0
arg-complete.0.2.1☑☑3
argon2.1.0.2☒☑2
argsh.0.1.0☑☑0
arp.4.1.0☑☑104
arrakis.1.1.1☑☑0
arrayjit.0.6.1☒☒1
art.0.4.0☑☑3
asai.0.3.1☒☑2
ascend.0.1.2-1☑☑0
ask.0.2.0☒☑1
ask-integrator.0.2.0☒☑0
aslref.1.0-EAC1☒☑0
asn1-combinators.0.3.2☑☑369
async.v0.17.0☑☑224
async-uri.0.4.0☒☑0
async_durable.v0.17.0☑☑2
async_extra.v0.17.0☑☑3
async_find.v0.17.0☑☑2
async_inotify.v0.17.0☒☑1
async_interactive.v0.17.0☑☑0
async_kernel.v0.17.0☑☑248
async_log.v0.17.0☒☑223
async_rpc_kernel.v0.17.0☑☑236
async_rpc_websocket.v0.17.0☒☒2
async_sendfile.v0.17.0☑☑1
async_shell.v0.17.0☒☑1
async_smtp.v0.17.0☒☑0
async_ssl.v0.17.0-1☒☑47
async_udp.v0.17.0☑☑1
async_unix.v0.17.0☒☑230
async_websocket.v0.17.0☒☑7
atable.0.1☑☑0
atd.4.2.0☑☑44
atd-jsonlike.4.2.0☑☑1
atd-yamlx.4.2.0☒☑0
atdcpp.4.2.0☑☑0
atdd.4.2.0☑☑0
atdgen.4.2.0☑☑33
atdgen-codec-runtime.4.2.0☑☑1
atdgen-runtime.4.2.0☑☑48
atdj.4.2.0☑☑0
atdml.4.2.0☑☑0
atdpy.4.2.0☒☑0
atds.4.2.0☑☑0
atdts.4.2.0☑☑1
autofonce.0.8☒☑0
autofonce_config.0.8☒☑2
autofonce_core.0.8☒☑2
autofonce_lib.0.8☒☑1
autofonce_m4.0.8☒☑3
autofonce_misc.0.8☒☑5
autofonce_patch.0.8☒☑2
autofonce_share.0.8☒☑3
avro.0.1☒☑0
avro-compiler.0.1☑☑1
avro-simple.0.1☒☑0
awa.0.5.2☒☑23
awa-mirage.0.5.2☒☑22
aws.1.2☑☑15
aws-async.1.2☑☑0
aws-autoscaling.1.2☑☑0
aws-cloudformation.1.2☑☑0
aws-cloudtrail.1.2☑☑0
aws-cloudwatch.1.2☑☑0
aws-config.0.0.1☑☑0
aws-ec2.1.2☑☑0
aws-elasticache.1.2☑☑0
aws-elasticloadbalancing.1.2☑☑0
aws-lwt.1.2☒☑0
aws-rds.1.2☑☑0
aws-route53.1.2☑☑0
aws-sdb.1.2☑☑0
aws-sqs.1.2☑☑0
aws-ssm.1.2☑☑0
aws-sts.1.2☑☑0
azblob.0.1.0☒☑1
azure-cosmos-db.0.4.0☒☑2
azure-cosmos-db-eio.0.4.0☒☑0
azure-cosmos-db-lwt.0.4.0☒☑0
babel.v0.17.0☑☑4
baby.20241204☒☑0
backoff.0.1.1☑☑65
bag.1.0.0☑☑0
baguette_sharp.2.2.1-1☑☑0
bam.0.4☒☑1
bam-ppx.0.4☑☑1
bancos.0.0.1☑☑0
bank.0.0.1☑☑0
bare_encoding.0.3.1☑☑0
bark.0.1.4☑☑0
base.v0.17.3☑☑1699
base32.1.0.0☑☑1
base64.3.5.2☑☑689
base_bigstring.v0.17.0☒☑486
base_quickcheck.v0.17.1☑☑517
base_trie.v0.17.0☑☑0
bastet.2.0.0☒☑2
bastet_async.0.1.0☒☑0
bastet_lwt.0.1.0☒☑0
batch_jaro_winkler.0.1.1☒☑0
batteries.3.10.0☑☑56
bdd.0.5☑☑1
bddrand.2.71.15☒☒0
bech32.0.1☑☑0
bechamel.0.5.0☑☑13
bechamel-js.0.5.0☑☑2
bechamel-notty.0.5.0☑☑4
bechamel-perf.0.5.0☑☑1
beluga.1.1.3☑☑0
benchmark.1.7☑☑267
bencode.2.0☑☑5
bentov.1☑☑2
bestline.0.2.1☑☑0
bheap.2.0.0☑☑1080
bibfmt.0.9.2☑☑1
bidirectional_map.v0.17.0☑☑0
bigarray-compat.1.1.0☑☑2011
bigarray-overlap.0.2.1☒☑73
bigdecimal.v0.17.0☒☑0
bignum.v0.17.0☒☑12
bigstring.0.3☑☑15
bigstring-unix.0.3☑☑1
bigstringaf.0.10.0☑☑861
bimage.0.6.0☑☑3
bimage-display.0.6.0☒☑0
bimage-gtk.0.2.1☒☑0
bimage-io.0.6.0☒☑0
bimage-lwt.0.4.0☒☑0
bimage-sdl.0.2.1☒☑0
bimage-unix.0.6.0☒☒0
bin.0.0.4☑☑10
bin_prot.v0.17.0-1☑☑519
bin_tree.0.1☑☒0
binaryen.0.35.0☒☑0
bindlib.6.0.0☒☑4
biniou.1.2.2☑☑1830
binning.0.0.0☑☑3
binsec.0.11.1☒☑0
binsec_codex.1.0-rc4☒☑0
bio_io.0.7.0☑☑0
biotk.0.4☒☑2
bisect_ppx.2.8.3☒☑66
bitcoin.3.0☒☑3
bitcoin-cohttp-async.3.0☒☑0
bitcoin-cohttp-lwt.3.0☒☑0
bitcoin-ocurl.3.0☒☑0
bitgenerators.v0.1.0☑☑0
bitlib.1.0☑☑0
bitmasks.1.5.0☑☑0
bitpack_serializer.0.1.0☒☑0
bitstring.5.0.2☑☑11
bitv.2.1☑☑16
bitwuzla.1.0.6☒☑2
bitwuzla-bin.0.0.0☒☑0
bitwuzla-c.1.0.6☒☑3
bitwuzla-cxx.0.9.0☒☑5
bizowie-api.0.5.0☒☑0
bjack.0.1.6☒☑4
blake3.0.2☒☑1
bloomf.0.2.0☑☑0
bls12-381.20.1☒☑1
bls12-381-gen.0.5.0☒☑4
bls12-381-hash.1.0.0☒☑0
bls12-381-js.0.5.0☒☑0
bls12-381-js-gen.0.5.0☒☑1
bls12-381-signature.1.0.0☒☑0
bls12-381-unix.2.0.1☒☑0
blurhash.0.1.0☒☑0
bm25.0.0.1☑☑0
bnfgen.4.0.0☑☑1
bogue.20260208☒☑1
bogue-tutorials.0.2.0☒☑0
boltzgen.0.9.5☒☒0
boulangerie.1.0.1☑☑0
box.1.2.0☑☑0
brot.1.0.0~alpha3☒☑1
brr-lwd.0.5☑☑0
bst.7.1.0☑☑9
bstr.0.0.4☑☑126
buffer-pool.0.2☑☑0
build_path_prefix_map.0.3☑☑0
builder.0.4.0☒☑1
bwd.2.3.0☑☑5
bwrap.0.1☑☑0
bytebuffer.0.0.2☒☑0
bytestring.0.0.8☑☑6
bz2.0.8.0☒☑16
ca-certs.1.0.3☒☑243
ca-certs-nss.3.123.1☒☑66
cachet.0.0.4☑☑39
cachet-lwt.0.0.4☑☑27
cachet-solo5.0.0.4☑☑0
cactus.1.0.0☑☑0
cairn.2.1☑☑0
cairo2.0.6.5☒☑49
cairo2-gtk.0.6.5☒☑1
cairo2-pango.0.6.5☒☑0
caisar.5.0☒☑0
caisar-ir.0.2☑☑2
caisar-nnet.0.2☑☑1
caisar-onnx.0.2☒☑1
caisar-ovo.0.2☑☑1
caisar-xgboost.0.2☑☑1
calcium.0.4.0☒☒4
calculon.0.8☒☑1
calculon-web.0.8☒☑0
caldav.0.2.4☒☑0
calendar.3.0.0☑☑90
calendars.2.0.0☑☑0
calipso.4.1.0☑☑0
calli.0.2☒☑0
callipyge.0.2☑☑0
camelot.0.4.3☒☑0
camels.1.0.0☑☑0
camldiets.0.3☑☑0
camlid.0.2☑☑0
camlimages.5.0.5☑☑8
camlix.0.1☑☑0
camlon.3.1.0☑☑4
camlp-streams.5.0.1☑☑2042
camlrack.0.10.1☑☑1
camomile.2.0.0☑☑160
camyll.0.4.4☒☑0
canary.0.0.4☒☑0
capitalization.v0.17.0☑☑514
capnp.3.6.0☒☑10
capnp-rpc.2.1.1☒☑9
capnp-rpc-lwt.2.0☒☑6
capnp-rpc-net.2.1.1☒☑2
capnp-rpc-unix.2.1.1☒☑1
caqti.2.3.0☒☑42
caqti-async.2.2.4☒☑1
caqti-driver-mariadb.2.3.0☒☑3
caqti-driver-pgx.2.3.0☒☑0
caqti-driver-postgresql.2.3.0☒☑3
caqti-driver-sqlite3.2.3.0☒☑9
caqti-dynload.2.3.0☒☑3
caqti-eio.2.2.4☒☑0
caqti-lwt.2.3.0☒☑28
caqti-miou.2.3.1☒☑1
caqti-mirage.2.2.4☒☑0
caqti-tls.2.1.2☒☑1
caqti-type-calendar.2.0.1☒☑2
carbon.0.2.0☒☑0
carray.0.0.2☒☑0
carton.1.2.0☑☑28
carton-git.0.7.2☒☑26
carton-git-lwt.1.2.0☑☑3
carton-lwt.1.2.0☑☑26
carton-miou.1.2.0☑☑0
carton-miou-unix.1.1.0☒☑0
castore.0.0.2☒☑1
catala.1.1.0☒☑2
catala-format.1.1.0☒☑0
catala-lsp.1.1.1☒☑0
catapult.0.2☑☑7
catapult-client.0.2☒☑0
catapult-daemon.0.2☒☑0
catapult-file.0.2☑☑3
catapult-sqlite.0.2☒☑1
cattery.0.0.1☑☑0
cb-check.0.1☒☒0
cbor.0.5☑☑4
cborl.0.1.0☒☑0
ccbg.0.1☑☑0
cconv.0.5☑☑3
cdb.1.0.1☑☑0
cdrom.0.9.4☑☑0
ceph.20240106☒☑0
certify.0.3.3☒☑0
cf.0.5.0☒☑20
cf-lwt.0.5.0☒☑18
cf_workers.0.1.5☑☑0
cfg.2.3.1☑☑1
cfml.20220112☒☑0
chacha.1.1.0☒☑0
chamelon.0.2.1☑☑1
chamelon-unix.0.2.1☒☑0
charInfo_width.2.0.0☑☑0
charrua.3.1.1☑☑3
charrua-client.3.1.1☑☑0
charrua-server.3.1.1☑☑2
charrua-unix.3.1.1☑☑0
charset.0.3.0☑☑0
chartjs.0.2.2☑☑4
chartjs-annotation.0.2.2☑☑0
chartjs-colorschemes.0.2.2☑☑0
chartjs-datalabels.0.2.2☑☑0
chartjs-streaming.0.2.2☑☑0
chase.1.5☑☑0
checked_oint.1.0.1☑☑1
checkseum.0.5.3☑☑96
chess_com_api.1.0.1☒☑0
choice.0.4☑☑0
chrome-trace.3.23.0☒☑1
ciao_lwt.0.2☑☑0
cid.0.1.0☑☑2
cinaps.v0.15.1☑☑5
clap.0.3.0☑☑5
clarity-lang.0.1.0☑☑0
class_group_vdf.0.0.5☒☑0
claudius.1.2.1☒☑0
clim.0.3.0☑☑1
climate.0.9.0☒☑2
cll.0.2.0☑☑0
clz.0.1.0☑☑1
cmarker.0.3.0☒☑0
cmdlang.0.0.11☒☑19
cmdlang-cmdliner-err-runner.0.0.16☒☑13
cmdlang-stdlib-runner.0.0.11☒☑0
cmdlang-to-base.0.0.11☒☑0
cmdlang-to-climate.0.0.11☒☑0
cmdlang-to-cmdliner.0.0.11☒☑14
cmdliner-stdlib.1.0.1☑☑0
cmon.0.2☑☑1
coap.0.1.0☑☑0
coap-core.0.1.0☑☑2
coap-server-lwt.0.1.0☑☑1
cobs.0.1.1☑☑0
codept.0.12.2☑☑0
codept-lib.0.12.2☑☑3
codex.1.0~rc4☒☑2
cohttp.6.2.1☑☑267
cohttp-async.6.2.1☑☑19
cohttp-bench.6.2.1☒☑0
cohttp-curl.6.2.1☒☑2
cohttp-curl-async.6.2.1☒☑0
cohttp-curl-lwt.6.2.1☒☑0
cohttp-eio.6.2.1☒☑21
cohttp-lwt.6.2.1☑☑183
cohttp-lwt-jsoo.6.2.1☒☑19
cohttp-lwt-unix.6.2.1☒☑169
cohttp-mirage.6.2.1☒☑0
cohttp-server-lwt-unix.6.2.1☒☑1
cohttp-top.6.2.1☑☑0
cohttp_async_websocket.v0.17.0☒☒4
cohttp_static_handler.v0.17.0☑☑1
coin.0.1.5☑☑30
colombe.0.13.0☑☑16
color.0.3.0☑☑5
color-brewery.0.2☑☑0
colors.0.0.1☑☑11
combic.1.0.0☑☑0
combinaml.0.1☑☑0
combinat.3.0☑☑0
comby-semantic.1.7.0☒☑1
command_rpc.v0.17.0☑☑0
compsort.0.9.2☒☑0
conan.0.0.7☑☑11
conan-cli.0.0.7☑☑0
conan-database.0.0.7☑☑8
conan-lwt.0.0.7☑☑0
conan-unix.0.0.7☑☑3
conduit.8.0.0☑☑244
conduit-async.8.0.0☑☑25
conduit-lwt.8.0.0☑☑218
conduit-lwt-unix.8.0.0☒☑179
conduit-mirage.8.0.0☒☑8
conex.1.0.0☑☑1
conex-mirage-crypto.1.0.0☒☑0
confero.0.1.1☑☑0
config.0.0.3☑☑7
config-file.1.2.2☒☑2
conformist.0.8.1☑☑8
containers.3.18☑☑109
containers-data.3.18☑☑10
containers-thread.3.12☒☑0
content_security_policy.v0.17.0☒☑0
cookie.0.1.8☑☑3
cookies.1.0.0☑☑0
coq.8.20.1☒☑14
coq-core.9.2.0☒☑15
coq-lsp.0.2.5+9.1☒☑0
coq-serapi.8.20.0+0.20.0☒☑0
coq-stdlib.8.20.1☒☑17
coq-waterproof.3.1.0+9.1☒☑0
coqide.8.20.1☒☑0
coqide-server.9.2.0☒☑1
core.v0.17.2☑☑489
core_bench.v0.17.0☑☑18
core_extended.v0.17.0☑☑12
core_kernel.v0.17.0☑☑413
core_profiler.v0.17.0☑☑0
core_unix.v0.17.1☑☑264
corosync.0.1.0☒☑0
cosovo.3☑☑0
cow.2.5.0☑☑5
cpm.12.2.0☑☑16
cppo.1.8.0☑☑2299
cppo_ocamlbuild.1.8.0☑☑17
cps_toolbox.0.3☑☑1
cpu.2.0.0☒☑20
cpuid.0.1.2☑☑311
crc.2.2.0☑☑0
crlibm.0.5.1☑☑2
crockford.1.0.0☑☑0
crontab.0.1☑☑0
crowbar.0.2.2☑☑52
crs.0.0.20260307☒☑0
crunch.4.0.0☑☑88
cry.1.0.3☑☑4
crypt.2.1☒☒0
cryptokit.1.21.1☒☑129
csexp.1.5.2☑☑3874
csexp-query.0.1.0☑☑0
cstruct.6.2.0☑☑1667
cstruct-async.6.2.0☒☑7
cstruct-lwt.6.2.0☑☑390
cstruct-sexp.6.2.0☑☑353
cstruct-unix.6.2.0☑☑32
csv.2.4☑☑58
csv-lwt.2.4☑☑0
csvfields.v0.17.0☑☑8
csvtool.2.4☑☑0
ctoxml.4.1.0☑☑0
ctypes.0.24.0☒☑353
ctypes-foreign.0.24.0☒☑349
ctypes_stubs_js.0.1☑☑0
cucumber.1.0.4☒☒0
cudajit.0.7.2☒☒2
cudd.0.1.3☒☑3
cudf.0.10☑☑23
cue_sheet_maker.0.2.0-1☑☑0
cumulus.0.0.1☑☑0
cure2.1.0☑☑0
curl.0.10.0☒☑57
curl_lwt.0.10.0☒☑52
curly.0.3.0☒☑4
current.0.7.4☒☑12
current-albatross-deployer.1.0.0☒☑0
current-web-pipelines.0.1☒☑0
current_ansi.0.4☒☑3
current_docker.0.7.4☒☑2
current_examples.0.7.4☒☑0
current_git.0.7.4☒☑7
current_github.0.7.4☒☑2
current_gitlab.0.7.4☒☑1
current_incr.0.6.1☑☑14
current_ocluster.0.4.0☒☑1
current_rpc.0.7.4☒☑1
current_slack.0.7.4☒☑0
current_ssh.0.7.4☒☑1
current_web.0.7.4☒☑6
curses.1.0.12☒☑3
curve-sampling.0.2.1☒☑0
cvc5.1.3.0☒☑3
daft.0.0.4☒☑0
dap.1.0.6☑☑2
data-encoding.1.0.1☒☑4
datalog.0.7☑☑2
dates_calc.0.0.10☒☑1
daypack-lib.0.0.6☑☑1
dbase4.0.2.0☑☑0
dbf.0.2.0☑☑0
dblp.0.1.1☒☑0
dblp-api.0.1.1☒☑1
debian-formats.0.1.2☑☑1
decimal.1.0.2☒☑1
decoders.1.0.0☑☑10
decoders-bencode.1.0.0☑☑0
decoders-cbor.1.0.0☑☑0
decoders-ezjsonm.1.0.0☑☑0
decoders-ezxmlm.1.0.0☑☑0
decoders-jsonaf.1.0.0☑☑0
decoders-jsonm.1.0.0☑☑0
decoders-msgpck.1.0.0☑☑0
decoders-sexplib.1.0.0☑☑0
decoders-yojson.1.0.0☑☑1
decompress.1.5.3☒☑78
dedent.v0.17.0☑☑2
dedukti.2.7☑☑2
delimcc_of_fxhandler.0.1☑☑0
delimited_parsing.v0.17.0☑☑10
depyt.0.3.0☑☑0
diet.0.4☑☑8
diff.1.0.2☑☑0
diffast.0.3.6☒☑0
diffast-api.0.3.6☒☑3
diffast-cli.0.3.6☒☑1
diffast-core.0.3.6☒☑14
diffast-etc.0.3.6☒☑8
diffast-git.0.3.6☒☑2
diffast-git-cli.0.3.6☒☑1
diffast-langs-common.0.3.6☒☑11
diffast-langs-cpp.0.3.6☒☑1
diffast-langs-cpp-parsing.0.3.6☒☑2
diffast-langs-cpp-parsing-cli.0.2☒☑0
diffast-langs-cpp-spec.0.3.6☒☑2
diffast-langs-fortran.0.3.6☒☑1
diffast-langs-fortran-parsing.0.3.6☒☑2
diffast-langs-fortran-parsing-cli.0.2☒☑0
diffast-langs-fortran-spec.0.3.6☒☑2
diffast-langs-java.0.3.6☒☑1
diffast-langs-java-parsing.0.3.6☒☑2
diffast-langs-java-parsing-cli.0.2☒☑0
diffast-langs-java-spec.0.3.6☒☑2
diffast-langs-python.0.3.6☒☑1
diffast-langs-python-parsing.0.3.6☒☑2
diffast-langs-python-parsing-cli.0.2☒☑0
diffast-langs-python-spec.0.3.6☒☑2
diffast-langs-verilog.0.3.6☒☑1
diffast-langs-verilog-parsing.0.3.6☒☑2
diffast-langs-verilog-parsing-cli.0.2☒☑0
diffast-langs-verilog-spec.0.3.6☒☑2
diffast-misc.0.3.6☒☑27
digestif.1.3.0☑☑482
directories.0.7☑☑0
diskuvbox.0.2.0☒☑5
dispatch.0.5.0☑☑21
dispatch-js.0.5.0☑☑0
dkim.0.11.0☒☑5
dkim-bin.0.11.0☒☑0
dkim-lwt-unix.0.11.0☒☑1
dkim-mirage.0.11.0☒☑0
dkml-c-probe.3.2.0☑☑1
dkml-dune-dsl.0.1.4☒☑0
dkml-dune-dsl-show.0.1.0☒☑0
dkml-install.0.1.0☒☑2
dkml-runtime-common.2.0.3☑☑0
dkml-workflows.1.2.0☑☑0
dlm.0.3.3☒☑0
dmap.0.5☑☑3
dmarc.0.0.2☒☑2
dns.10.2.5☑☑81
dns-certify.10.2.5☒☑1
dns-cli.10.2.5☒☑0
dns-client.10.2.5☑☑71
dns-client-lwt.10.2.5☒☑35
dns-client-miou-unix.10.2.5☒☑9
dns-client-mirage.10.2.5☒☑39
dns-mirage.10.2.5☑☑5
dns-resolver.10.2.5☒☑2
dns-server.10.2.5☑☑3
dns-stub.10.2.5☒☑0
dns-tsig.10.2.5☑☑6
dnsrobot.0.1.0☒☑0
dnssec.10.2.5☒☑3
docfd.0.6.1☑☑0
docker_hub.0.2.0☒☑0
dockerfile.8.3.9☑☑8
dockerfile-cmd.8.3.9☑☑2
dockerfile-opam.8.3.9☑☑3
docteur.0.0.7☒☑2
docteur-solo5.0.0.7☒☑0
docteur-unix.0.0.7☒☑0
doctor.0.1.0☑☑0
doculib.1.3.5☒☑0
doi2bib.0.9.2☒☑0
dokeysto.4.0.2☑☑11
dokeysto_lz4.4.0.2☒☑0
dolmen.0.10☑☑18
dolmen_bin.0.10☒☑0
dolmen_loop.0.10☑☑16
dolmen_lsp.0.10☑☑0
dolmen_model.0.10☒☑3
dolmen_type.0.10☑☑17
dolog.6.0.0☑☑20
domain-local-await.1.0.1☒☑112
domain-local-timeout.1.0.1☒☑2
domain-name.0.5.0☑☑1152
domain_shims.0.1.0☒☑32
domainpc.0.2☑☑0
domainslib.0.5.2☑☑13
dose3.7.0.0☑☑12
dose3-extra.7.0.0☒☑0
dot-merlin-reader.5.6-503☒☑13
dotenv.0.0.1☒☑0
dream.1.0.0~alpha8☒☑22
dream-accept.0.1.0☒☑0
dream-cli.0.2.0☒☑0
dream-encoding.0.3.0☒☑0
dream-html.3.11.2☒☑1
dream-htmx.0.1.0☒☑0
dream-httpaf.1.0.0~alpha4☒☑22
dream-inertia.0.0.1☒☑0
dream-livereload.0.2.0☒☑0
dream-pure.1.0.0~alpha2☒☑25
dream-serve.1.0.1☒☑0
dream_middleware_ext.0.1.1☒☑0
drom_toml.0.8.0☒☑2
dropbox.0.2☒☑1
dropbox_lwt_unix.0.2☒☑0
dscheck.0.5.0☑☑8
dssi.0.1.5☒☑4
dtoa.0.3.3☑☑1
dual.0.1.0☑☑0
duff.0.5☑☑33
dune-action-plugin.3.23.0☒☑0
dune-action-trace.3.23.0☒☑0
dune-ai-context.0.1.2☑☑0
dune-build-info.3.23.0☒☑207
dune-cargo-build.0.2.2☑☑1
dune-compiledb.0.6.0☑☑623
dune-configurator.3.23.0☒☑3874
dune-deps.1.5.0☑☑1
dune-glob.3.23.0☒☑3
dune-private-libs.3.23.0☒☑284
dune-release.2.2.1☑☑1
dune-rpc.3.23.0☒☑3
dune-rpc-lwt.3.23.0☒☑0
dune-site.3.23.0☒☑285
dune_deps_extra.0.1☑☑0
dunolint.0.0.20260306☒☑0
dunolint-lib.0.0.20260306☒☑2
dunolint-lib-base.0.0.20260306☒☑1
duration.0.3.1☑☑1153
dyn.3.23.0☒☑319
dynamic_gc.0.2.0☑☑0
dypgen.0.2.1☑☑4
earley.3.0.0☑☑1
earlybird.1.3.6☒☑0
easy-format.1.3.4☑☑1838
easy_logging.0.8.2☑☑7
easy_logging_yojson.0.8.2☑☑6
ecaml.v0.17.0☑☑2
echo.0.0.5☒☑0
edn.0.2.0☑☑0
ego.0.0.6☒☑0
eigen.0.3.3☒☒16
eio.1.3☑☑90
eio-ssl.0.3.0☒☑3
eio-trace.0.4☒☑0
eio_linux.1.3☑☑35
eio_main.1.3☑☑53
eio_posix.1.3☑☑34
either.1.0.0☑☑165
eliom.12.0.1☒☑2
elm_core.0.1.7☒☑4
elm_playground.0.1.7☒☑2
elm_playground_web.0.1.7☒☑0
elm_system.0.1.7☒☑3
elpi.3.7.1☒☑0
email_message.v0.17.0☒☑1
embedded_ocaml_templates.0.8☑☑0
emile.1.1☑☑59
emoji.3.0.1☑☑0
encore.0.8.1☑☑28
env_config.v0.17.0☑☑0
ephemeral.1.0☒☑0
epictetus.3.1.1☑☑0
eqaf.0.10☑☑491
eqaf-cstruct.0.10☑☑0
equinoxe.0.2.0☒☑2
equinoxe-cohttp.0.2.0☒☑0
equinoxe-hlc.0.2.0☒☑0
erlang.0.0.14☒☑0
errpy.0.0.10☒☒0
erssical.1.1.0☒☑0
esa.0.1.1☑☑0
esgg.20190322☑☑0
esperanto-cosmopolitan.0.0.6☒☑3
ethernet.3.2.0☑☑106
euler.0.3☑☑0
exenum.0.86☒☒0
expect.0.1.0☑☑0
expect_test_helpers_async.v0.17.0☑☑3
expect_test_helpers_core.v0.17.0☑☑267
expr.0.7.0☑☑0
extism.1.4.0☒☑0
extism-manifest.1.4.0☑☑1
extlib.1.8.0☑☑49
extunix.0.4.4☑☑25
ez_api.2.2.0☑☑2
ez_cmdliner.0.5.0☒☑9
ez_dune_describe.0.1☑☑1
ez_file.0.3.0☒☑17
ez_hash.0.5.3☑☑0
ez_opam_file.0.1.0☒☑4
ez_pgocaml.1.0.0☑☑0
ez_subst.0.2.1☒☑10
ezcurl.0.3☒☑7
ezcurl-lwt.0.3☒☑2
ezdl.2.71.15☒☒2
ezgzip.0.2.3☒☑6
ezjs_ace.0.1.1☑☑1
ezjs_blockies.0.1.1☑☑0
ezjs_cleave.0.1.1☑☑0
ezjs_cytoscape.0.1☑☑0
ezjs_extension.0.2☑☑1
ezjs_fetch.0.3☑☑3
ezjs_idb.0.1.1☑☑0
ezjs_jquery.0.1☑☑0
ezjs_min.0.3.0☑☑11
ezjs_odometer.0.1☑☑0
ezjs_push.0.2☑☑0
ezjs_qrcode.0.1☑☑0
ezjs_recaptcha.0.1.1☑☑0
ezjsonm.1.3.0☒☑693
ezjsonm-encoding.2.1.0☒☑0
ezjsonm-lwt.1.3.0☒☑0
ezlua.0.1☑☑1
ezresto.0.6.1☒☑1
ezresto-directory.0.6.1☒☑0
ezsqlite.0.4.2☑☑0
ezxmlm.1.1.0☑☑25
faad.0.5.1☒☑4
fadbadml.0.1.2☒☑0
fadecider.0.7☑☑0
faraday.0.8.2☑☑160
faraday-async.0.8.2☑☑8
faraday-lwt.0.8.2☑☑76
faraday-lwt-unix.0.8.2☑☑71
farith.0.1☒☑6
farmhash.0.4☒☑0
fasmifra.2.1.0☒☑0
fast_bitvector.0.1.2.2☒☑0
fat-filesystem.0.15.1☒☑0
fd-send-recv.2.0.3☑☑2
feat.20220407☒☑0
feat-core.20220407☑☑2
feat-num.20220407☑☑0
feather.0.3.0☒☑2
fehu.1.0.0~alpha3☒☑1
ff.0.6.2☒☑2
ff-bench.0.6.2☒☑0
ff-pbt.0.6.2☒☑4
ff-sig.0.6.2☒☑13
ffmpeg.1.3.0☒☑4
ffmpeg-av.1.3.0☒☑7
ffmpeg-avcodec.1.3.0☒☑9
ffmpeg-avdevice.1.3.0☒☑5
ffmpeg-avfilter.1.3.0☒☑5
ffmpeg-avutil.1.3.0☒☑12
ffmpeg-swresample.1.3.0☒☑5
ffmpeg-swscale.1.3.0☒☑5
fftw3.0.8.5☒☑0
fiber.3.7.0☑☑2
fiber-lwt.3.7.0☑☑0
fieldslib.v0.17.0☑☑687
file-rewriter.0.0.3☒☑3
file_path.v0.17.0☑☑0
fileutils.0.6.6☑☑288
fit.1.4.1☑☑0
fix.20250919☑☑77
flac.1.0.0☒☑4
flatunionfind.20241210☑☑0
flex-array.1.2.0☑☑2
flint.0.4.2☒☑0
float_option.0.0.3☑☑0
flow_parser.0.268.0☒☑0
flux.0.0.1~beta5☑☑6
fluxt.0.0.1~beta5☑☑2
fmlib.0.6.2☑☑0
fmlib_browser.0.6.2☑☑1
fmlib_js.0.6.2☑☑2
fmlib_parse.0.6.2☑☑1
fmlib_pretty.0.6.2☑☑2
fmlib_std.0.6.2☑☑5
fontforge-of-ocaml.1.1.0☒☑0
forester.5.0☑☑1
fpath-base.0.4.0☒☑5
fpath-sexp0.0.4.0☒☑14
frama-c.32.0☒☑4
frama-c-lannotate.0.2.5☒☑0
frama-c-luncov.0.2.4☒☑0
frama-c-metacsl.0.10☒☑0
frama-clang.0.0.19☒☑0
frama_c_codex.1.0-rc4☒☑0
fred.0.1.0☒☑0
frei0r.0.1.2☒☑4
frontmatter_extractor.0.2☑☑0
fs-io.3.23.0☒☑317
fsevents.0.3.0☒☑18
fsevents-lwt.0.3.0☒☑17
fstar.2026.03.24☒☑0
fun-postgresql.0.2.3☒☑0
fun-sql.0.2.3☑☑2
fun-sqlite.0.2.3☒☑0
fungi.0.1.4☒☑0
fuseau.0.1☑☑1
fuseau-lwt.0.1☑☑0
fuzzy_match.v0.17.0☑☑2
fzf.v0.17.0☑☑0
gapi-ocaml.0.4.9☒☑1
gbddml.2.71.15☑☑2
gccjit.0.3.2☒☒2
gd.1.1☒☑4
gdbprofiler.0.4☑☑0
gel.v0.17.0☑☑485
gemini.0.3.0☒☒0
gen.1.1☑☑1770
gen_js_api.1.1.7☑☑63
gendarme.0.4.1☑☑8
gendarme-csv.0.4.1☑☑1
gendarme-ezjsonm.0.4.1☑☑2
gendarme-json.0.3.0☒☑1
gendarme-toml.0.4.1☑☑1
gendarme-yaml.0.4.1☑☑1
gendarme-yojson.0.4.1☑☑2
genspio.0.0.3☑☑0
genspir.1.0.1☑☑1
geojson.0.2.0☑☑2
geojsone.0.2.0☑☑1
geoml.0.1.1☑☑0
get_line.7.0.0☑☑1
getopt.20230213☑☑2
gettext.0.5.0☒☑2
gettext-camomile.0.5.0☒☑0
gettext-stub.0.5.0☒☑0
giflib.1.1.0☒☑1
git.3.18.0☑☑23
git-kv.0.2.2☑☑2
git-mirage.3.18.0☒☑20
git-net.0.2.2☒☑1
git-paf.3.18.0☒☑21
git-split.1.0.0☑☑0
git-unix.3.18.0☒☑21
github.4.5.1☑☑11
github-data.4.5.1☑☑12
github-hooks.0.5.0☒☑1
github-hooks-unix.0.5.0☒☑0
github-jsoo.4.5.1☑☑0
github-unix.4.5.1☒☑8
gitlab.0.1.8☑☑6
gitlab-jsoo.0.1.8☑☑0
gitlab-unix.0.1.8☒☑4
gitlab_pipeline_notifier.0.1☒☑0
gl-legacy.0.1.0☒☑7
glfw-ocaml.3.3.1-2☒☑1
globlon.1.0☑☑0
gluon.0.0.9☒☒5
gluten.0.5.2☑☑56
gluten-async.0.5.2☑☑5
gluten-eio.0.5.2☑☑8
gluten-lwt.0.5.2☑☑42
gluten-lwt-unix.0.5.2☑☑34
gluten-mirage.0.5.2☒☑3
gmap.0.3.0☑☑378
gmp.6.3.0☒☑0
gnuplot.0.7☒☑1
goblint.2.7.1☒☑0
goblint-cil.2.0.9☒☑3
google-drive-ocamlfuse.0.8.2☒☑0
gospel.0.3.1☑☑4
gotd.0.1☑☑0
gperftools.0.5☒☑5
gpiod.0.7☒☑0
gpr.1.5.2☒☑0
gpt.1.0.0☑☑1
gptar.1.0.0☑☑0
gr.0.0.2☒☑0
grace.0.3.0☑☑1
gradescope_submit.2.0.2☒☑0
graft.0.1.0☒☑0
grain_dypgen.0.2.1☑☑3
graphics.5.2.0☒☑3874
graphql.0.14.0☑☑36
graphql-cohttp.0.14.0☒☑7
graphql-lwt.0.14.0☑☑33
graphql_jsoo_client.0.1.1☒☑0
graphql_parser.0.14.0☑☑37
graphql_ppx.1.2.2☒☑1
graphv.0.1.1☒☑0
graphv_core.0.1.1☑☑3
graphv_core_lib.0.1.1☑☑10
graphv_font.0.1.1☑☑5
graphv_font_js.0.1.1☑☑2
graphv_font_stb_truetype.0.1.1☑☑2
graphv_gles2.0.1.1☑☑3
graphv_gles2_native.0.1.1☒☑1
graphv_gles2_native_impl.0.1.1☒☑2
graphv_webgl.0.1.1☑☑1
graphv_webgl_impl.0.1.1☑☑3
grenier.0.16☑☑5
grid.0.2.0☑☑0
grpc.0.2.0☑☑5
grpc-async.0.2.0☑☑1
grpc-bench.0.2.0☑☑0
grpc-eio.0.2.0☑☑1
grpc-lwt.0.2.0☑☑1
gsl.1.25.1☒☑11
gstreamer.0.3.1☒☑5
guardian.0.4.0☒☑0
guile.1.0☒☒0
h1.1.1.0☑☑36
h1-lwt-unix.1.1.0☑☑0
h1_parser.0.0.2☒☑0
h2.0.13.0☑☑71
h2-async.0.13.0☑☑2
h2-eio.0.13.0☑☑1
h2-lwt.0.13.0☑☑26
h2-lwt-unix.0.13.0☑☑24
h2-mirage.0.13.0☒☑0
hachis.20240918☑☑1
hacl-star.0.7.2☒☑2
hacl-star-raw.0.7.2☒☑3
hacl_func.0.1.0☑☑0
handlebars-ml.0.3.0☑☑1
happy-eyeballs.2.0.1☑☑74
happy-eyeballs-lwt.2.0.1☑☑35
happy-eyeballs-miou-unix.2.0.1☑☑11
happy-eyeballs-mirage.2.0.1☑☑39
hardcaml.v0.17.1☒☑16
hardcaml-lua.0.0.1☒☑0
hardcaml_axi.v0.17.0☒☑0
hardcaml_c.v0.17.0☒☑0
hardcaml_circuits.v0.17.0☒☑2
hardcaml_event_driven_sim.v0.17.0☒☑1
hardcaml_fixed_point.v0.17.0☒☑0
hardcaml_handshake.v0.17.0☒☑1
hardcaml_of_verilog.v0.17.0☒☑0
hardcaml_step_testbench.v0.17.0☒☑0
hardcaml_verify.v0.17.0☒☑1
hardcaml_verilator.v0.17.0☒☑0
hardcaml_waveterm.v0.17.0☒☑4
hardcaml_xilinx.v0.17.0☒☑0
hardcaml_xilinx_components.v0.17.0☒☑0
hardcaml_xilinx_reports.v0.17.0☒☑0
hashcons.1.4.0☑☑21
hashset.1.0.1☑☑1
hc.0.5☑☑3
hdr_histogram.0.0.5☒☑3
headache.1.08☑☑5
header-check.0.1.0☒☑0
hector.20241208☑☑2
herdtools7.7.58☒☑0
heroicons-reason-react.1.0☑☑0
hex.1.5.0☑☑925
hex_encode.v0.17.0☑☑0
hexstring.0.2.1☑☑0
hg_lib.v0.17.0☑☑0
hidapi.1.2.1☒☑2
hidapi-lwt.1.2.1☒☑1
higher_kinded.v0.17.0☑☑6
highlexer.0.1☑☑0
higlo.0.10.0☑☑27
hilite.0.5.0☒☑2
hl_yaml.1.0.0☒☒0
hockmd.0.1.0☒☑0
hol2dk.2.1.0☑☑0
hooke.0.0.1☑☑0
hpack.0.13.0☑☑79
hsluv.0.1.0☑☑1
html_of_jsx.0.0.9☒☑2
htmlfromtexbooks.3.3.2☑☑0
hts_shrink.3.0.1☒☑0
http.6.2.1☑☑270
http-cookie.4.3.0☑☑0
http-date.0.2☑☑0
http-lwt-client.0.3.2☒☑5
http-mirage-client.0.0.10☒☑1
http-multipart-formdata.3.1.0☑☑0
httpaf.0.7.1☑☑116
httpaf-lwt-unix.0.7.1☑☑31
httpaf_caged.1.0.0☒☑0
httpcats.0.3.0☒☑7
httph.0.1☑☑0
httpun.0.2.0☑☑40
httpun-async.0.2.0☑☑0
httpun-eio.0.2.0☑☑3
httpun-lwt.0.2.0☑☑28
httpun-lwt-unix.0.2.0☑☑26
httpun-mirage.0.2.0☒☑0
httpun-types.0.2.0☑☑95
httpun-ws.0.2.0☑☑32
httpun-ws-async.0.2.0☑☑0
httpun-ws-eio.0.2.0☑☑0
httpun-ws-lwt.0.2.0☑☑5
httpun-ws-lwt-unix.0.2.0☑☑3
httpun-ws-mirage.0.2.0☒☑0
huffman.0.1.2☑☑0
hugin.1.0.0~alpha3☒☑1
huml.0.2.0☒☑2
huml-cli.0.2.0☒☑0
hurl.0.0.1~beta2☒☑1
hvsock.3.1.0☑☑0
hxd.0.4.0☑☑76
i3ipc.0.4☑☑1
icalendar.0.1.13☒☑2
idna.0.4.0☑☑0
imagelib.20221222☑☑16
imguiml.v1.90.6☒☑0
incr_map.v0.17.0☒☑6
incr_select.v0.17.0☑☑6
incremental.v0.17.0☑☑9
incremental_cycles.0.1☒☑0
indentation_buffer.v0.17.0☑☑0
index.1.6.2☑☑11
index-bench.1.6.2☒☑0
inferno.20220603☑☑0
influxdb.0.3.0☑☑2
influxdb-async.0.3.0☑☑0
influxdb-lwt.0.3.0☒☑0
inifiles.2.0☒☑0
inotify.2.6☑☑25
inotify-eio.2.6☑☑0
inquire.0.3.1☒☒0
inquirer_oc.1.0.15☑☑0
intPQueue.20250925☑☑0
int_repr.v0.17.0☑☑487
integers.0.7.0☑☑361
integers_stubs_js.1.0☑☑3
integration1d.0.5.1☑☑0
intel_hex.0.3☑☑0
interface-prime.0.1☑☑2
interface-prime-lwt.0.1☑☑0
interval-map.0.2.1☑☑1
interval_base.1.6☑☑3
interval_crlibm.1.6☑☑1
interval_intel.1.6☒☒1
io-page.3.0.0☒☑1066
iomux.0.4☑☑43
iostream.0.3☑☑9
iostream-camlzip.0.3☒☑1
ip2location.8.2.0☒☑0
ip2locationio.1.1.0☒☑0
ip2proxy.3.2.0☑☑0
ip2whois.1.0.0☒☑0
ipaddr.5.6.2☑☑1151
ipaddr-cstruct.5.6.2☑☑105
ipaddr-sexp.5.6.2☑☑371
irc-client.0.7.1☑☑10
irc-client-lwt.0.7.1☑☑2
irc-client-lwt-ssl.0.7.1☒☑2
irc-client-tls.0.7.1☒☑0
irc-client-unix.0.7.1☑☑4
iri.1.2.0☑☑69
irmin.3.11.0☑☑17
irmin-bench.3.11.0☒☑0
irmin-chunk.3.11.0☒☑0
irmin-cli.3.11.0☒☑2
irmin-client.3.11.0☒☑0
irmin-containers.3.11.0☒☑0
irmin-fs.3.11.0☒☑4
irmin-git.3.11.0☒☑5
irmin-graphql.3.11.0☒☑4
irmin-layers.2.9.0☒☑1
irmin-mirage.3.11.0☑☑2
irmin-mirage-git.3.11.0☒☑0
irmin-mirage-graphql.3.11.0☒☑0
irmin-pack.3.11.0☒☑7
irmin-pack-tools.3.11.0☒☑0
irmin-server.3.11.0☒☑3
irmin-test.3.11.0☒☑10
irmin-tezos.3.11.0☒☑5
irmin-watcher.0.5.0☒☑18
iso639.0.0.5☑☑1
iter.1.9☑☑21
itv-tree.2.2☑☑1
jane-street-headers.v0.17.0☑☑622
jane_rope.v0.17.0☑☑28
janestreet_cpuid.v0.17.0☒☒0
janestreet_lru_cache.v0.17.0☑☑9
jasmin.2026.03.1☒☑0
jekyll-format.0.3.4☑☑0
jemalloc.0.2☒☑9
jext.0.1.1☑☑0
jhupllib.0.3☑☑1
jingoo.1.5.2☑☑9
jose.0.10.0☒☑1
js_of_ocaml.6.3.2☑☑1702
js_of_ocaml-compiler.6.3.2☑☑1715
js_of_ocaml-lwt.6.3.2☑☑39
js_of_ocaml-ocamlbuild.5.0☑☑3
js_of_ocaml-ppx.6.3.2☑☑136
js_of_ocaml-ppx_deriving_json.6.3.2☑☑3
js_of_ocaml-toplevel.6.3.2☒☑42
js_of_ocaml-tyxml.6.3.2☑☑6
js_of_ocaml_patches.v0.16.0☑☑8
json-data-encoding.1.1.1☒☑18
json-data-encoding-browser.1.1.1☒☑0
json-data-encoding-bson.1.1.1☒☑5
json_decoder.0.1.1☑☑0
jsonaf.v0.17.0☑☑7
jsonfeed.1.1.0☒☑0
jsonoo.0.3.0☒☑0
jsonrpc.1.26.0-5.5~preview☑☑11
jsonschema.0.1.0☑☑1
jsonschema-core.0.1.0☒☑1
jsonschema-validation.0.1.0☒☑0
jsonschema2atd.0.0.3☑☑0
jsoo_broadcastchannel.2.0.0☑☑0
jsoo_storage.1.0.1☑☑0
jst-config.v0.17.0☑☑622
junit.2.3.0☑☑8
junit_alcotest.2.3.0☑☑14
junit_ounit.2.3.0☒☑0
jupyter.3.0.1☒☑2
jupyter-kernel.0.8☒☑0
jws.0.0.2☒☑5
jwto.0.4.0☑☑17
kaun.1.0.0~alpha3☒☑1
kcas.0.7.0☑☑3
kcas_data.0.7.0☑☑0
kdf.1.0.0☑☑368
kdl.0.2.0☒☑1
ke.0.6☑☑131
key-parsers.1.3.0☒☑0
kicadsch.0.9.0☑☑1
kind2.2.3.0☒☑0
kinetic-client.0.0.11☒☑0
kittyimg.0.1☑☑1
kkmarkdown.1.1.0☑☑0
kmt.0.1☒☑0
knights_tour.0.0.6☒☑0
kot.20251212☑☑0
kqueue.0.7.0☑☑0
kuznechik.0.2.0☑☑0
lab.0.1.8☒☑0
lablgtk3.3.1.5-1☒☑21
lablgtk3-extras.3.0.1☒☑0
lablgtk3-goocanvas2.3.1.5☒☑0
lablgtk3-gtkspell3.3.1.5☒☑0
lablgtk3-rsvg2.3.1.5☒☑0
lablgtk3-sourceview3.3.1.5☒☑14
lacaml.11.1.1☒☑12
ladspa.0.2.2☑☑5
lambda.0.1.7☑☑0
lambda-term.3.4.0☑☑143
lambda_streams.0.1.2☒☑2
lambda_streams_async.0.1.2☒☑0
lambda_streams_lwt.0.1.2☒☑0
lambdapi.3.0.0☒☑0
lambdasoup.1.1.1☑☑42
lame.0.3.7☒☑4
landmarks.1.6☑☑1
landmarks-ppx.1.6☑☑0
lastfm.0.3.4☑☑3
layoutz.0.1.0☒☑0
lazy-trie.1.2.0☑☑0
lbfgs.0.9.5☒☑3
lbvs_consent.2.2.0☒☑0
ldap.2.5.2☒☑1
leaflet.0.2☑☑0
leaves.0.0.1☒☑0
ledes.0.1.0☑☑0
ledgerwallet.0.4.1☒☑0
legacy_diffable.v0.17.0☑☑7
lens.1.2.5☑☑0
letsencrypt.2.1.0☒☑3
letsencrypt-app.2.1.0☒☑0
letsencrypt-dns.2.1.0☒☑1
letsencrypt-mirage.2.1.0☒☑0
letters.0.4.0☒☑3
libabsolute.0.1☒☑1
libbinaryen.127.0.0☒☑0
libbpf.0.1.0☒☑2
libbpf_maps.0.1.0☒☑1
libc.0.0.1☑☑6
libdrm.1.1☒☑0
libinput.1.29☒☑0
libirmin.3.11.0☒☑0
libsail.0.20.1☒☑11
lichess_api.1.0.1☒☑0
lilac.0.1.1☒☑0
lilv.0.1.0☒☑4
line_oriented.1.3.0☑☑11
linenoise.1.5.1☑☑23
linol.0.11☑☑3
linol-eio.0.11☑☑0
linol-lwt.0.11☑☑1
lintcstubs-arity.0.5.2☑☑2
linwrap.9.2.0☒☑0
liquid_interpreter.0.1.3☒☑2
liquid_ml.0.1.3☒☑1
liquid_parser.0.1.3☒☑4
liquid_std.0.1.3☒☑3
liquid_syntax.0.1.3☒☑5
liquidsoap.2.4.4☒☑2
liquidsoap-js.2.4.4☒☑0
liquidsoap-lang.2.4.4☒☑6
liquidsoap-libs.2.3.0☒☑1
liquidsoap-libs-extra.2.3.0☒☑0
liquidsoap-mode.2.4.4☒☑0
little_logger.0.3.0☑☑0
llama-cpp-ocaml.0.0.1☒☒0
llama_core.0.1.0☒☑2
llama_midi.0.1.0☒☑3
llhttp.0.0.1☑☑0
lmdb.1.1.1☒☑0
lo.0.2.0☒☒4
loc.0.3.3☒☑20
lockfree.0.3.1☑☑12
logical.0.3.0☑☑0
logs-async.1.4☑☑2
logs-async-reporter.1.4☒☑2
logs-ppx.0.2.0☑☑1
logs-syslog.0.5.0☑☑15
loop.0.0.1☑☑0
lp.0.5.0☑☑4
lp-glpk.0.5.0☒☑0
lp-glpk-js.0.5.0☑☑0
lp-gurobi.0.5.0☒☑0
lp-highs.0.5.0☑☑0
lpd.1.2.2☑☑0
lreplay.0.1.1☒☑0
lrgrep.0.3☒☑0
lru.0.3.1☑☑170
lru_cache.0.4.0☑☑4
lsp.1.26.0-5.5~preview☑☑7
lt-code.0.1.1☑☑0
lua-ml.0.9.4☑☑2
lua_parser.1.0.2☑☑0
lucid.0.1.5☑☑0
lun.0.0.2☑☑5
lunar.1.1.0☑☑0
lustre-v6.6.107.1☑☑2
lutils.1.54.1☒☑4
lutin.2.71.15☒☒1
luv.0.5.14☒☑2
luv_unix.0.5.1☒☑0
lwd.0.5☑☑12
lwt.6.1.2☑☑1770
lwt-canceler.0.3☒☑0
lwt-dllist.1.1.0☑☑1120
lwt-exit.1.0☑☑0
lwt-parallel.1.0.0☑☑0
lwt-watcher.0.2☑☑0
lwt_direct.6.0.0☑☑0
lwt_domain.0.3.0☑☑0
lwt_eio.0.6☑☑7
lwt_glib.1.1.1☒☑3
lwt_log.1.1.2☑☑230
lwt_ppx.6.1.0☑☑243
lwt_ppx_to_let_syntax.0.1☒☑0
lwt_react.1.2.0☑☑173
lwt_retry.5.9.0☑☑0
lwt_runtime_events.6.0.0☑☑1768
lwt_ssl.1.2.0☒☑236
lz4.1.3.0☒☑14
lzo.0.0.3☒☑0
m_tree.0.1☑☑0
macaddr.5.6.2☑☑1155
macaddr-cstruct.5.6.2☑☑107
macaddr-sexp.5.6.2☑☑5
mad.0.5.3☒☑6
magic-mime.1.3.1☑☑259
make-random.0.1☑☑1
malfunction.0.7.1☒☑0
man_in_the_middle_debugger.v0.17.0☑☑0
mariadb.1.3.0☒☑3
markdown.0.2.1☑☑1
markdown_monolith.0.1.1☒☑0
markup.1.0.3☑☑109
markup-lwt.0.5.0☒☑2
mastodon-archive-viewer.0.4.0☒☑0
matcha.0.1.0☑☑0
matplotlib.0.2☑☑0
mazeppa.0.7.2☑☑0
mbr-format.2.0.0☑☑3
mc2.0.1☒☑0
mccs.1.1+19☑☑13
mcrunch.0.0.2☑☑0
md2mld.0.7.0☑☑7
mdx.2.5.2☑☑144
mec.0.1.0☒☑0
mehari.0.4☒☑3
mehari-eio.0.4☒☑0
mehari-lwt-unix.0.4☒☑0
mehari-mirage.0.4☒☑1
mel-bastet.1.0.0☑☑1
melange.6.0.1-53☒☑27
melange-atdgen-codec-runtime.3.0.1☒☑0
melange-fest.0.2.0☑☑0
melange-fetch.0.2.0☑☑6
melange-jest.0.2.0☒☑9
melange-json.2.0.0☒☑4
melange-json-native.2.0.0☑☑6
melange-numeral.0.0.1☑☑0
melange-radix-icons.0.0.1☒☑0
melange-recharts.4.0.3☑☑0
melange-str.0.1.0☒☑0
melange-testing-library.0.2.0☒☑2
melange-webapi.0.22.0☑☑7
mem_usage.0.1.3☑☑4
memfd.0.1.0☑☑0
memgraph.1.0☑☑1
memgraph_kitty.1.0☒☑0
memo.0.2☑☑0
memprof-limits.0.3.0☑☑28
memtrace.0.2.3☒☑36
menhir.20260209☒☑1911
menhir-lsp.0.3.2☒☑0
menhirCST.20260209☒☑1908
menhirGLR.20260209☒☑1908
menhirLib.20260209☒☑1911
menhirSdk.20260209☒☑1908
merge-fmt.0.4☑☑0
merlin.5.6-503☒☑13
merlin-extend.0.6.2☑☑41
merlin-lib.5.6-503☒☑19
mesh.0.9.5☒☑3
mesh-easymesh.0.9.5☒☑0
mesh-graphics.0.9.5☒☑0
metadata.0.3.2☑☑4
metadb.1.0.2☑☑1
metapp.0.4.4☑☑11
metaquot.0.6.0☑☑10
metrics.0.5.0☑☑1107
metrics-influx.0.5.0☑☑4
metrics-lwt.0.5.0☑☑1078
metrics-rusage.0.5.0☑☑3
metrics-unix.0.5.0☒☑3
mew.0.1.0☑☑148
mew_vi.0.5.0☑☑147
mhttp.0.0.2☒☑3
mhttp-client.0.0.2☒☑0
mhttp-server.0.0.2☒☑1
miaou.0.5.2☒☑0
miaou-core.0.5.2☑☑8
miaou-driver-matrix.0.5.2☑☑5
miaou-driver-sdl.0.5.2☒☑3
miaou-driver-term.0.5.2☑☑5
miaou-driver-web.0.5.2☑☑1
miaou-registry.0.5.2☑☑9
miaou-runner.0.5.2☑☑2
miaou-tui.0.5.2☑☑0
miaou-widgets-display-sdl.0.5.2☒☑4
middleware.0.0.1☑☑0
mimic.0.0.9☑☑33
mimic-happy-eyeballs.0.0.9☒☑24
mindstorm.0.8.1☒☑1
mindstorm-lwt.0.8.1☒☑0
minicaml.0.3.1☒☑0
minicli.5.0.2☑☑19
minisat.0.6☑☑3
miou.0.6.0☒☑36
mirage.4.11.0☒☑4
mirage-block.3.0.2☑☑25
mirage-block-ccm.2.0.0☑☑0
mirage-block-combinators.3.0.2☑☑7
mirage-block-partition.0.2.0☑☑0
mirage-block-ramdisk.0.6☒☑2
mirage-block-solo5.0.8.1☑☑1
mirage-block-unikraft.1.0.0☑☑0
mirage-block-unix.2.14.2☑☑11
mirage-block-xen.2.1.3☒☑0
mirage-bootvar.1.0.1☑☑0
mirage-channel.5.0.0☑☑10
mirage-clock.4.2.0☑☑344
mirage-clock-unix.4.2.0☑☑39
mirage-crypto.2.1.0☑☑399
mirage-crypto-ec.2.1.0☑☑370
mirage-crypto-pk.2.1.0☒☑371
mirage-crypto-rng.2.1.0☑☑402
mirage-crypto-rng-async.0.11.3☒☑7
mirage-crypto-rng-eio.1.2.0☒☑5
mirage-crypto-rng-lwt.1.2.0☒☑239
mirage-crypto-rng-miou-unix.2.1.0☑☑7
mirage-crypto-rng-mirage.2.1.0☑☑11
mirage-crypto-rng-mkernel.2.1.0☒☑1
mirage-flow.5.0.0☑☑350
mirage-flow-combinators.5.0.0☑☑12
mirage-flow-unix.5.0.0☑☑1
mirage-kv.6.1.1☑☑319
mirage-kv-mem.4.0.1☑☑2
mirage-kv-unix.3.0.1☑☑0
mirage-logs.3.0.0☑☑5
mirage-mtime.5.2.0☑☑110
mirage-nat.3.0.2☑☑0
mirage-net.4.0.0☑☑115
mirage-net-solo5.0.8.0☑☑0
mirage-net-unikraft.1.0.0☑☑0
mirage-net-unix.3.0.0☑☑0
mirage-net-xen.2.1.7☒☑0
mirage-ptime.5.2.0☑☑102
mirage-qubes.2.0.0☒☑1
mirage-qubes-ipv4.2.0.0☒☑0
mirage-runtime.4.11.0☑☑1120
mirage-sleep.4.1.0☑☑1100
mirage-solo5.0.10.0☑☑315
mirage-time.3.0.0☑☑106
mirage-time-unix.3.0.0☑☑8
mirage-unikraft.1.0.0☑☑2
mirage-unix.5.0.1☑☑23
mirage-vnetif.0.6.2☑☑2
mirage-xen.9.0.0☒☑1045
mjson.0.2.1☑☑0
mkaudio.1.1.4☑☑0
mkernel.0.0.2☒☑11
mkocaml.1.2☑☑0
mlbdd.0.7.3☑☑4
mlfenv.1.0.0☑☑0
mlgpx.1.0.0☑☑0
mlmpfr.4.2.1☒☒14
mlsolver.1.5☑☑0
mlt_parser.v0.17.0☑☑1
mlx.0.11☒☑4
mm.0.8.6☑☑5
mmap.1.2.0☑☑1767
mmdb.0.3.0☒☒0
mmo.1.0.1☑☑0
mnd.1.1.0☑☑0
mnet.0.0.2☒☑9
mnet-cli.0.0.2☒☑0
mnet-dns.0.0.2☒☑0
mnet-happy-eyeballs.0.0.2☒☑3
mnet-tls.0.0.2☒☑6
mock.1.0.0☒☑1
mock-ounit.1.0.0☒☑1
module-graph.0.2.0☒☑0
molenc.17.0.1☒☑7
monaco_jsoo.1.0.1☑☑0
monolith.20250922☑☑11
monomorphic.2.1.0☑☑1
moonpool.0.11☑☑4
moonpool-io.0.9☒☑0
moonpool-lwt.0.11☑☑0
mopsa.1.2☒☒0
morbig.0.11.0☒☑0
morsmall.0.2.0☑☑0
mosaique.0.0.1☒☑0
moss.0.1.1☑☑0
mparser.1.3☑☑14
mparser-re.1.3☑☑1
mperf.0.5.0☑☑1
mpg123.0.3☒☒0
mpp.0.3.6☑☑0
mpris.0.2.0☑☑1
mpris-clients.0.2.0☑☑0
mqtt.0.2.2☒☑0
mrmime.0.7.2☑☑23
msat.0.9.1☑☑6
msat-bin.0.9.1☒☑0
msendmail.0.13.0☒☑0
mset.0.2.0☑☑0
msgpck.1.7☑☑5
mtbox.0.0.1~beta1☒☑0
mugen.0.1.0☑☑0
mula.0.1.2☑☑0
multibase.0.1.0☑☑3
multicodec.0.1.0☑☑5
multicont.1.0.3☑☑1
multicore-bench.0.1.7☑☑4
multicore-magic.2.3.2☒☑65
multicore-magic-dscheck.2.3.2☒☑3
multihash.0.1.0☑☑4
multihash-digestif.0.1.0☑☑3
multipart-form-data.0.3.0☑☑28
multipart_form.0.8.0☑☑35
multipart_form-cohttp-lwt.0.8.0☑☑0
multipart_form-eio.0.8.0☑☑0
multipart_form-lwt.0.8.0☑☑29
multipart_form-miou.0.8.0☑☑2
murmur3.0.3☑☑1
mustache.3.3.0☑☑5
mustache-cli.3.3.0☑☑0
mutaml.0.3☑☑0
mutf8.0.2☑☑0
mwt.0.1.0☑☑0
mybuild.7☑☑3
mysql8.1.0☒☒1
mysql_protocol.3.0.3☒☑0
n_ary.v0.17.0☑☑1
naboris.0.1.3☑☑0
nacc.1.0☒☑0
nanoev.0.1☑☑3
nanoev-picos.0.1☑☑2
nanoev-posix.0.1☑☑0
nanoev_tiny_httpd.0.1☑☑0
nanoid.1.0.0☒☑0
nanosvg.0.2☑☑2
nanosvg_text.0.1☑☑1
nats-client.0.0.10☑☑1
nats-client-async.0.0.10☑☑0
nbd.6.0.1☒☑2
nbd-tool.6.0.1☒☑0
nbd-unix.6.0.1☒☑1
neo4j_bolt.0.3.0☒☑0
netlink.0.3.4☒☑0
netsnmp.v0.17.0☒☑0
neural_nets_lib.0.6.1☒☒0
nice_parser.1.0.0☒☑1
ninja_utils.1.0.0☑☑0
niru.1.0.0☑☑0
nloge.0.0.2☑☑0
nlopt.0.7.0☒☑4
nmea.0.1.5☑☑0
nocoiner.1.0.0☒☑0
node_of_ocaml.1.0.0☑☑0
non_empty_list.0.1☑☑0
nottui.0.5☑☑9
nottui-lwt.0.5☑☑0
nottui-miou.0.0.1☑☑1
nottui-pretty.0.5☑☑0
nottui-unix.0.5☑☑3
notty.0.2.3☑☑26
notty-community.0.2.4☑☑12
notty-miou.0.0.1☑☑2
notty_async.v0.17.0☑☑5
np.np1.19-0.3.1☒☑2
npy.0.0.9☒☑18
numeric_string.v0.17.0☑☑1
nuscr.2.1.1☒☑0
nx.1.0.0~alpha3☒☑7
nx-datasets.1.0.0~alpha2☒☑4
nx-text.1.0.0~alpha0☒☑2
obatcher.1.1☑☑0
obelisk.0.8.1☑☑0
obuilder.0.7.0☒☑2
obuilder-spec.0.7.0☑☑4
obus.1.2.5☑☑4
ocal.0.2.2☑☑0
ocaml-ai-sdk.0.3☒☑0
ocaml-canvas.1.0.0☒☑0
ocaml-compiler-libs.v0.17.0☑☑2384
ocaml-embed-file.v0.17.0☑☑3
ocaml-index.5.6-503☒☑3
ocaml-lsp-server.1.23.1☒☑12
ocaml-lua.1.8☒☑2
ocaml-monadic.0.5☑☑4
ocaml-print-intf.1.2.0☑☑0
ocaml-probes.v0.17.0☑☑0
ocaml-protoc.4.1☑☑5
ocaml-protoc-plugin.6.2.0☒☑3
ocaml-r.0.6.0☒☒1
ocaml-sat-solvers.0.8☑☑2
ocaml-syntax-shims.1.0.0☑☑1787
ocaml-systemd.1.3☒☑0
ocaml-top.1.2.0☒☑0
ocaml-vdom.0.2☑☑0
ocaml-version.4.1.1☑☑38
ocaml-yescrypt.0.1.1☒☑0
ocaml_intrinsics.v0.17.0☑☑6
ocaml_intrinsics_kernel.v0.17.2☑☑1700
ocaml_openapi_generator.v0.17.0☑☑0
ocamlc-loc.3.23.0☒☑4
ocamlcodoc.1.0.1☑☑1
ocamldiff.1.2☑☑1
ocamlformat.0.29.0☒☑57
ocamlformat-lib.0.29.0☒☑17
ocamlformat-mlx.0.28.1.2☒☑1
ocamlformat-mlx-lib.0.28.1.2☒☑1
ocamlformat-rpc-lib.0.29.0☑☑5
ocamlfuse.2.7.2☒☑1
ocamlgraph.2.2.0☒☑397
ocamlgraph_gtk.2.2.0☒☑5
ocamlify.0.1.0☑☑254
ocamline.1.2☑☑1
ocamlmerlin-mlx.0.11☒☑0
ocamlmig.5.3-20250429☒☒0
ocamlmod.0.1.1☑☑252
ocamlog.0.2☑☑0
ocamlregextkit.1.0.2☑☑0
ocannl_npy.0.4.1☒☑2
ocb.0.2☑☑0
ocf.1.0.0☑☑47
ocf_ppx.1.0.0☑☑44
ocgtk.0.1~preview1☒☑0
ochre.1.0.0☒☑1
ochre-cli.1.0.0☒☑0
ockt.0.0.1☑☑0
ocluster.0.4.0☒☑0
ocluster-api.0.4.0☒☑3
ocluster-worker.0.4.0☒☑1
ocolor.1.3.1☑☑5
ocp-browser.1.4.1☑☑0
ocp-indent.1.9.0☑☑34
ocp-indent-nlfork.1.5.5☒☑2
ocp-index.1.4.1☑☑4
ocp_reveal.0.1☑☑0
ocplib-endian.1.2☑☑1795
ocplib-simplex.0.5.1☒☑13
ocplib_stuff.0.4.0☒☑19
ocsigen-i18n.5.0.0☑☑0
ocsigen-ppx-rpc.1.1☑☑1
ocsigenserver.7.0.0☒☑13
ocsipersist.2.0.0☒☑9
ocsipersist-dbm.2.0.0☒☑5
ocsipersist-dbm-config.2.0.0☒☑0
ocsipersist-lib.2.0.0☑☑10
ocsipersist-pgsql.2.0.0☒☑5
ocsipersist-pgsql-config.2.0.0☒☑1
ocsipersist-sqlite.2.0.0☒☑5
ocsipersist-sqlite-config.2.0.0☒☑0
octavius.1.2.2☑☑613
ocue.0.1.0☑☑0
odate.0.7☑☑8
odds.1.2☑☑0
odep.0.2.1☑☑0
odepack.0.7.1☒☑1
odnnr.2.0.0☒☒0
odoc.3.2.1☒☑1741
odoc-driver.3.2.1☒☑1
odoc-md.3.2.1☒☑1
odoc-parser.3.2.1☑☑17
oenv.0.1.0☑☑0
oepub.0.1.0☒☑0
of_json.v0.17.0☑☑0
oframl.0.0.1☒☑0
ogg.1.0.0☒☑11
oglsl.0.1.0☑☑0
ohex.0.2.0☑☑399
oidc.0.2.0☒☑0
ojo.0.2.1☑☑0
ojs.1.1.7☑☑64
ojs_base.0.9.0☒☑8
ojs_base_all.0.9.0☒☑3
ojs_base_ppx.0.9.0☒☑2
ojs_ed.0.9.0☒☑4
ojs_filetree.0.9.0☒☑4
ojs_list.0.9.0☒☑4
oktree.0.2.4☒☑5
oma.20240619☑☑0
omd.2.0.0~alpha4☑☑33
ometrics.0.2.0☒☑0
omigrate.0.3.2☒☑0
omlr.1.0.3☒☑0
omtl.0.2☒☒0
oneffs.0.1.0☑☑0
oniguruma.0.2.0☒☑5
ooh.0.0.3☑☑0
opam-0install.0.6.0☑☑1
opam-0install-cudf.0.5.0☑☑11
opam-build.0.3.0☑☑0
opam-check-npm-deps.4.1.0☑☑8
opam-ci-check-lint.0.2☒☑0
opam-client.2.5.1☒☑7
opam-compiler.0.2.1☑☑0
opam-core.2.5.1☒☑40
opam-custom-install.0.3☑☑0
opam-devel.2.5.1☒☑0
opam-ed.0.4☑☑0
opam-file-format.2.2.0☑☑51
opam-format.2.5.1☒☑40
opam-graph.0.1.1☒☑0
opam-grep.0.4.0☑☑0
opam-installer.2.5.1☒☑8
opam-monorepo.0.4.3☒☑2
opam-publish.3.0.0☒☑3
opam-repomin.1.0.0☑☑0
opam-repository.2.5.1☒☑23
opam-solver.2.5.1☒☑9
opam-state.2.5.1☒☑22
opam-test.0.3.0☑☑0
opasswd.1.3.1☒☑0
opatch.3.1.1☑☑14
openQASM.0.4.0☑☑1
openai.0.0.1☒☑0
openapi.1.0.1☑☑2
openapi-opium.1.0.1☒☑0
openbsd.1.0☑☑0
opencage.1.0.5☒☑0
openstellina.0.0.3☒☑0
opentelemetry.0.91☑☑14
opentelemetry-client.0.91☑☑4
opentelemetry-client-cohttp-eio.0.91☒☑0
opentelemetry-client-cohttp-lwt.0.91☒☑1
opentelemetry-client-ocurl.0.91☒☑0
opentelemetry-client-ocurl-lwt.0.91☒☑0
opentelemetry-cohttp-lwt.0.91☒☑1
opentelemetry-logs.0.91☒☑0
opentelemetry-lwt.0.91☒☑3
opine.0.1.3☑☑0
opium.0.20.0☒☑20
opium-graphql.0.20.0☒☑0
opium-testing.0.20.0☒☑0
opium_kernel.0.18.0☑☑5
oplot.0.85☒☑6
oplsr.8.0.1☒☒0
opomodoro.0.0.2☑☑0
optal.0.3☑☑0
opti.1.0.3☑☑0
optimization1d.0.6.1☑☑0
optiml-transport.0.0.1☑☑0
optint.0.3.0☑☑463
opus.1.0.0☒☑4
oq.1.0.4☑☑0
oraft.0.3.0☒☑0
oranger.4.3.5☒☒0
orb.1.0.0☑☑0
order-i3-xfce.0.1☑☑0
ordering.3.23.0☒☑320
ordinal.1.1☑☑0
ordinal_abbreviation.v0.17.0☑☑2
orec.1.0.1☑☑2
orewa.0.2.1☑☑0
orf.1.0.1☒☑0
orgeat.0.0.1☒☑0
orrandomForest.3.0.0☒☒0
orsvm_e1071.4.0.0☒☑0
ortac-core.0.8.0☒☑3
ortac-dune.0.8.0☒☑0
ortac-qcheck-stm.0.8.0☒☑1
ortac-runtime.0.8.0☒☑4
ortac-runtime-qcheck-stm.0.8.0☒☑1
ortac-wrapper.0.8.0☒☑1
orthologic-coq.0.9.1☒☑0
ortools.9.15.0-1☒☑1
ortools_solvers.9.15.0-1☒☑0
orxgboost.1.2.0☒☒0
osc.0.2.0☑☑6
osc-unix.0.2.0☑☑4
osdp.1.1.1☒☑0
oseq.0.5.1☑☑14
oskel.0.3.0☑☑0
osnap.0.3.0☒☑0
ostap.0.6.1☒☑0
otaglibc.0.1.0☒☑1
otf.0.1☑☑0
otoml.1.0.5☑☑11
otp.0.2.2☒☑0
otr.1.0.0☒☑0
oui.0.1.0☒☑0
ounit2.2.2.7☑☑1217
ounit2-lwt.2.2.7☑☑1
out-channel-redirect.0.1☒☑0
owee.0.8☑☑8
owi.0.1☒☑0
owl.1.2☒☒13
owl-base.1.2☑☑15
owl-jupyter.1.0☒☒0
owl-ode.0.5.0☒☒2
owl-ode-base.0.5.0☑☑3
owl-ode-odepack.0.5.0☒☒0
owl-opt.0.0.1☒☒1
owl-opt-lbfgs.0.0.1☒☒0
owl-plplot.1.1☒☒5
owl-top.1.2☒☒1
owork.0.1.1☑☑0
ozulip.0.1☒☑0
p4pp.0.1.12☑☑0
p5scm.0.5.0☒☑0
packstream.0.1☑☑0
pacomb.1.4.3☑☑5
paf.0.8.0☒☑26
paf-cohttp.0.8.0☒☑0
pageantty.0.0.3☒☑2
pam.v0.17.0☒☑0
pancake.2.0.1☑☑0
pandoc.0.2.1☑☑7
pandoc-abbreviations.0.2.1☑☑0
pandoc-comment.0.2.1☑☑0
pandoc-crossref.0.2.1☑☑0
pandoc-include.0.2.1☑☑0
pandoc-inspect.0.2.1☑☑0
pandoc-pdf2png.0.2.1☑☑0
pandoc-replace.0.2.1☑☑0
par_incr.0.1☑☑0
parany.14.0.1☒☑15
pardi.3.2.2☒☑0
pari.0.1☒☒0
pari-bindings.0.1☒☒1
parmap.1.2.5☑☑32
parseff.0.3.0☑☑0
parsexp.v0.17.0☑☑1782
parsexp_io.v0.17.0☑☑0
parsite.0.1.2☑☑0
parsley.0.0.1☒☑0
passage.0.3.5☒☑0
passe.0.1.0☑☑0
patch.3.1.1☑☑61
patdiff.v0.17.0☑☑5
path_glob.0.3☑☑1
patience_diff.v0.17.0☑☑8
patricia-tree.0.13.0☑☑4
pb.1.0.0☑☑1
pbkdf.1.2.0☑☑367
pbrt.4.1☑☑27
pbrt_services.4.1☑☑5
pbrt_yojson.4.1☑☑21
pcap-format.0.6.0☑☑2
pcrc.0.25.2☑☑0
pcre2.8.0.4☒☑390
pds-reachability.0.2.3☑☑0
pecu.0.7☑☑96
petrol.1.2.0☒☑0
pf-qubes.0.1.2☑☑0
pg_query.0.9.8☒☒3
pgn_parser.1.0.1☒☑0
pgocaml.4.4.0☑☑16
pgocaml_ppx.4.4.0☑☑1
pgsolver.4.4☑☑1
pgx.2.2☑☑9
pgx_lwt.2.2☑☑3
pgx_lwt_mirage.2.2☒☑0
pgx_lwt_unix.2.2☑☑1
pgx_unix.2.2☑☑0
pgx_value_core.2.2☑☑1
pgx_value_ptime.2.2☑☑0
phantom-algebra.1.0.1☑☑0
phonetic.0.1.0☑☑0
phylogenetics.0.3.0☒☑0
piaf.0.2.0☒☑0
picasso.0.4.0☒☑2
picos.0.6.0☑☑30
picos_aux.0.6.0☑☑43
picos_io.0.6.0☑☑5
picos_io_cohttp.0.6.0☑☑1
picos_lwt.0.6.0☑☑1
picos_meta.0.6.0☒☑0
picos_mux.0.6.0☑☑2
picos_std.0.6.0☑☑14
piece_rope.0.9.1☑☑0
pla.2.1☑☑0
plateau.0.1☑☑0
plato.1.1.3☑☑0
plist-xml.0.5.1☑☑4
plist-xml-lwt.0.3.0☒☑0
plotkicadsch.0.9.0☒☑0
plotly.1.0.0☑☑0
plplot.5.12.1☒☑10
polka.2.71.15☒☒2
poll.0.3.1☑☑5
polling_state_rpc.v0.17.0☑☑3
polly.0.5.0☑☑2
polymarket.0.2.0☒☑0
polynomial.0.4.0☒☑0
pomap.4.1.2☑☑0
popper.0.1.1☑☑2
portaudio.0.2.3☒☑4
portaudio_c_bindings.19.6.0☒☒0
posix-base.4.0.2☒☑19
posix-bindings.4.0.2☒☑0
posix-errno.4.0.2☒☑13
posix-getopt.4.0.2☒☑1
posix-math2.4.0.2☒☑1
posix-resource.4.0.2☒☑1
posix-signal.4.0.2☒☑0
posix-socket.4.0.2☒☑7
posix-socket-unix.4.0.2☒☑1
posix-stat.4.0.2☒☑1
posix-time2.4.0.2☒☑7
posix-types.4.0.2☒☑10
posix-uname.4.0.2☒☑2
posix-unistd.4.0.2☒☑1
posixat.v0.17.0☑☑2
postgres_async.v0.17.0☒☑0
postgresql.5.4.0☒☑19
pp.2.0.0☑☑343
pp-binary-ints.1.0.0☑☑1
pp_loc.2.1.0☑☑25
pplumbing-err.0.0.16☒☑15
pplumbing-log.0.0.16☒☑14
pplumbing-log-cli.0.0.16☒☑13
pplumbing-pp-tty.0.0.16☒☑17
pprint.20230830☑☑33
ppx-owl-opt.0.0.1☒☑2
ppx_accessor.v0.17.0☑☑3
ppx_assert.v0.17.0☑☑628
ppx_base.v0.17.0☑☑640
ppx_bench.v0.17.1☑☑517
ppx_bin_prot.v0.17.1☑☑517
ppx_bitstring.5.0.2☑☑8
ppx_blob.0.9.0☑☑71
ppx_camlrack.0.10.1☑☑0
ppx_catch.0.1.0☑☑0
ppx_cold.v0.17.0☑☑644
ppx_compare.v0.17.0☑☑680
ppx_compose.0.2.1☑☑0
ppx_const.2.0.1☑☑0
ppx_conv_func.v0.17.0☑☑6
ppx_counters.0.1☑☑0
ppx_cstruct.6.2.0☒☑383
ppx_csv_conv.v0.17.0☑☑4
ppx_custom_printf.v0.17.0☑☑531
ppx_decimal.1.0.2☒☑0
ppx_default.0.1.1☑☑0
ppx_defer.0.5.0☑☑0
ppx_demo.v0.17.0☑☑0
ppx_derive_at_runtime.v0.17.1☑☑0
ppx_derivers.1.2.1☑☑2404
ppx_deriving.6.1.1☑☑679
ppx_deriving_cad.0.2.0☒☑0
ppx_deriving_decoders.1.0☑☑0
ppx_deriving_encoding.0.4.2☑☑3
ppx_deriving_ezjsonm.0.4.1☑☑0
ppx_deriving_hash.0.1.3☑☑2
ppx_deriving_json_schema.1.0.1☑☑0
ppx_deriving_jsonschema.0.0.7☒☑0
ppx_deriving_jsont.0.1.1☒☑0
ppx_deriving_jsoo.0.3☑☑3
ppx_deriving_madcast.0.2☑☑0
ppx_deriving_popper.0.1.1☑☑2
ppx_deriving_protobuf.3.0.0☑☑6
ppx_deriving_qcheck.0.9☒☑1
ppx_deriving_rpc.10.2.0☑☑9
ppx_deriving_scad.1.0.0☑☑0
ppx_deriving_variant_string.1.0.1☑☑0
ppx_deriving_yaml.0.4.1☑☑8
ppx_deriving_yojson.3.10.0☑☑148
ppx_diff.v0.17.1☑☑484
ppx_disable_unused_warnings.v0.17.0☑☑513
ppx_distr_guards.0.3☑☑1
ppx_dream_eml.1.0☒☑0
ppx_embed_file.v0.17.0☑☑0
ppx_enforce.0.1.0☑☑9
ppx_enumerate.v0.17.0☑☑655
ppx_expect.v0.17.3☑☑674
ppx_expect_nobase.v0.17.3.0☑☑1
ppx_ezlua.0.1☑☑0
ppx_factory.0.2.0☑☑0
ppx_fields_conv.v0.17.0☑☑688
ppx_fixed_literal.v0.17.0☑☑552
ppx_forbid.0.1.0☑☑9
ppx_format.1.0☑☑0
ppx_fun.0.0.9☑☑0
ppx_gen_rec.2.0.0☑☑1
ppx_getenv.2.1☑☑1
ppx_globalize.v0.17.2☑☑641
ppx_hardcaml.v0.17.1☒☑10
ppx_hash.v0.17.0☑☑658
ppx_here.v0.17.0☑☑660
ppx_ignore_instrumentation.v0.17.0☑☑513
ppx_import.1.12.0☑☑17
ppx_inline_alcotest.1.0.0☑☑2
ppx_inline_test.v0.17.1☑☑668
ppx_inline_test_nobase.v0.17.0.2☑☑6
ppx_interact.0.2.0☒☑0
ppx_irmin.3.11.0☑☑18
ppx_jane.v0.17.0☑☑516
ppx_js_style.v0.17.1☑☑22
ppx_jsobject_conv.0.21.1☑☑0
ppx_jsonaf_conv.v0.17.1☑☑3
ppx_let.v0.17.1☑☑532
ppx_log.v0.17.0☑☑513
ppx_lun.0.0.2☑☑0
ppx_make.0.3.4☑☑4
ppx_map.0.2.1☑☑0
ppx_marshal.0.4.1☑☑0
ppx_marshal_ext.0.4.1☑☑6
ppx_matches.0.1.0☑☑0
ppx_mica.0.1.0☑☑0
ppx_mikmatch.1.4☑☑0
ppx_minidebug.3.0.0☒☑2
ppx_mixins.0.2.0☑☑0
ppx_module_timer.v0.17.0☑☑513
ppx_monad.0.2.0☑☑0
ppx_monoid.0.3.3☑☑0
ppx_mysql.1.1.3☒☑0
ppx_optcomp.v0.17.1☑☑645
ppx_optint.0.2.0☑☑0
ppx_optional.v0.17.0☑☑515
ppx_parser.0.2.1☑☑0
ppx_partial.1.0☑☑1
ppx_pattern_bind.v0.17.1☑☑7
ppx_pipebang.v0.17.0☑☑515
ppx_protocol_conv.5.2.3☑☑10
ppx_protocol_conv_json.5.2.3☑☑3
ppx_protocol_conv_jsonm.5.2.3☑☑0
ppx_protocol_conv_msgpack.5.2.3☑☑0
ppx_protocol_conv_xml_light.5.2.3☑☑3
ppx_protocol_conv_xmlm.5.2.3☑☑3
ppx_protocol_conv_yaml.5.2.3☑☑0
ppx_pyformat.0.1.2☑☑0
ppx_python.v0.17.0☑☑1
ppx_quick_test.v0.17.1☑☑2
ppx_rapper.3.1.0☒☒2
ppx_rapper_lwt.3.1.0☒☒0
ppx_regexp.0.5.1☑☑0
ppx_repr.0.8.0☑☑28
ppx_seq.0.3.2☑☑0
ppx_sexp_conv.v0.17.1☑☑1200
ppx_sexp_message.v0.17.0☑☑519
ppx_sexp_value.v0.17.0☑☑530
ppx_show.0.2.1☑☑4
ppx_stable.v0.17.1☑☑513
ppx_stable_witness.v0.17.0☑☑520
ppx_string.v0.17.0☑☑526
ppx_string_conv.v0.17.0☑☑513
ppx_string_interpolation.1.1.0☑☑2
ppx_subliner.0.2.2☒☑0
ppx_system.1.0☑☑0
ppx_test.1.8.0☒☒7
ppx_trace.0.12☑☑1
ppx_ts.0.1.6☒☑0
ppx_tydi.v0.17.1☑☑513
ppx_typed_fields.v0.17.1☑☑5
ppx_typerep_conv.v0.17.1☑☑515
ppx_units.1.0.0☑☑0
ppx_unreachable.1.1☑☑1
ppx_update.0.81☑☑0
ppx_variants_conv.v0.17.1☑☑526
ppx_viewpattern.0.1.1☑☑0
ppx_windtrap.0.1.0☑☑2
ppx_xml_conv.v0.17.0☑☑0
ppx_yojson.1.3.0☑☑3
ppx_yojson_conv.v0.17.1☑☑23
ppx_yojson_conv_lib.v0.17.0☑☑31
ppxlib.0.38.0☒☑2356
ppxlib-tools.0.38.0☒☑0
ppxlib_jane.v0.17.4☑☑1191
ppxx.2.5.0☒☒8
pratter.5.0.1☑☑1
prbnmcn-basic-structures.0.0.1☒☑5
prbnmcn-cgrph.0.0.2☒☑4
prbnmcn-clustering.0.0.2☒☑1
prbnmcn-dagger.0.0.6☑☑3
prbnmcn-dagger-gsl.0.0.6☑☑1
prbnmcn-dagger-stats.0.0.6☒☑1
prbnmcn-dagger-test.0.0.6☒☑0
prbnmcn-gnuplot.0.0.5☒☑1
prbnmcn-linalg.0.0.1☒☑3
prbnmcn-mcts.0.0.2☒☑0
prbnmcn-proptest.0.0.1☒☑1
prbnmcn-stats.0.0.8☒☑2
prbnmcn-ucb1.0.0.2☒☑1
prc.0.1.0☒☑0
preface.1.1.0☑☑0
prelude.0.5☑☑4
pretty_expressive.0.5☑☑1
prettym.0.0.5☑☑62
primavera.1.0.0☑☑0
print-table.0.1.3☒☑1
printbox.0.12☑☑13
printbox-ext-plot.0.12☑☑1
printbox-html.0.12☑☑4
printbox-md.0.12☑☑4
printbox-text.0.12☑☑11
proc-smaps.0.2.0☑☑0
processor.0.2☑☑2
producer.0.2.0☑☑0
profunctor.v0.17.0☑☑2
progress.0.5.0☑☑17
prolect.1.1.3☒☑0
prom.0.3☑☑0
prometheus.1.3☑☑29
prometheus-app.1.3☒☑14
prometheus-liquidsoap.2☒☑4
promise.1.1.2☑☑3
promise_jsoo.0.4.3☒☑1
promise_jsoo_lwt.0.4.3☒☑0
protocell.1.0.0☑☑0
protocol-9p.2.1.0☑☑3
protocol-9p-tool.2.1.0☒☑0
protocol-9p-unix.2.1.0☒☑1
protocol_version_header.v0.17.0☑☑237
proton.1.0.17☒☑0
provider.0.0.11☒☑0
prr.0.1.1☑☑0
psmt2-frontend.0.4.0☒☑13
psq.0.2.1☑☑296
ptmap.2.0.5☑☑28
ptset.1.0.1☑☑1
public-suffix.0.0.2☒☑2
pulseaudio.0.1.5☒☑6
pure-html.3.11.2☑☑3
pure-splitmix.0.3☑☑0
purl.1.0.0☒☑0
pvec.0.1.1☒☑0
pxshot.0.1.2☒☑0
py.1.3☒☑0
pyml.20250807☒☑23
pyml_bindgen.0.4.1☒☑0
pyre-ast.0.1.11☑☑1
pyro-caml.1.0.0☒☑0
pyro-caml-instruments.1.0.0☑☑2
pyro-caml-ppx.1.0.0☑☑1
qbf.0.3☑☑1
qcaml.1.0.0☒☑0
qcheck.0.91☑☑65
qcheck-alcotest.0.91☑☑39
qcheck-core.0.91☑☑60
qcheck-lin.0.10☑☑0
qcheck-multicoretests-util.0.10☑☑9
qcheck-ounit.0.91☑☑16
qcheck-stm.0.10☑☑9
qcow-stream.0.14.0☒☑1
qcow-types.0.14.0☑☑3
qdrant.0.2.0☑☑0
qinap.1.0☑☑0
qiskit.1.0.2☑☑0
qmp.0.20.0☑☑0
qrencode.0.2☒☒0
qtest.2.11.2☑☑20
queenshead.0.1☑☑0
query-json.0.6.1☒☑0
quests.0.1.3☒☑1
quick_print.0.12☑☑0
quickjs.0.4.2☒☑4
quickterface.0.1.0☒☑0
quill.1.0.0~alpha2☒☑1
radamsa.0.2☑☑0
radare2.0.0.7☒☑0
raga.0.1.1☑☑0
randii.1.0.0☒☒0
random.0.0.1☑☑0
randomconv.0.2.0☑☑119
randoml.0.1.5☒☒0
range.0.8.3☑☑0
rangeSet.0.2.1☑☑0
rankers.2.0.9☒☑0
raven.1.0.0~alpha2☒☑0
rawlink.2.1☑☑3
rawlink-eio.2.1☑☑0
rawlink-lwt.2.1☑☑1
raygui.1.6.0☒☑0
raylib.1.6.0☒☑3
raylib-callbacks.1.6.0☒☑0
rdbg.1.199.0☑☑3
re.1.14.0☒☑1466
re2.v0.17.0☑☑31
re_parser.v0.17.0☑☑0
rea.1.0.0☒☑0
react-rules-of-hooks-ppx.1.2.0☒☑0
reactiveData.0.3.1☑☑7
reactjs-jsx-ppx.1.0.0☑☑9
readline.0.2☒☑1
reason.3.17.3☑☑48
reason-react.0.17.0☒☑13
reason-react-day-picker.0.1☑☑0
reason-react-ppx.0.17.0☒☑14
received.0.12.1☑☑0
record_builder.v0.17.0☑☑14
records.1.0.0☑☑0
red-black-tree.1.0.5☑☑0
redirect.0.2.1☑☑2
redis.0.8☑☑12
redis-async.v0.17.0☒☑0
redis-lwt.0.8☑☑10
redis-sync.0.8☑☑0
reedsolomon.0.3☑☑0
regex_parser_intf.v0.17.0☑☑29
regl.0.1.0☑☑0
regrade.0.1.0☑☑0
relude.3.0.0☑☑0
remu_ts.0.1☑☑0
reparse.3.1.0☑☑3
reparse-lwt.3.1.0☑☑0
reparse-lwt-unix.3.1.0☑☑0
reparse-unix.2.1.0☒☑0
repr.0.8.0☑☑31
repr-bench.0.8.0☑☑0
repr-fuzz.0.8.0☑☑0
res.5.0.2☑☑12
rescriptdep.0.1.2☑☑0
resource-pooling.1.2☑☑1
resource_cache.v0.17.0☑☑1
resp.0.11.0☑☑4
resp-client.0.11.0☑☑3
resp-mirage.0.11.0☒☑0
resp-server.0.11.0☑☑2
resp-unix.0.11.0☒☑0
resto.1.2☑☑7
resto-acl.1.2☑☑2
resto-cohttp.1.2☒☑3
resto-cohttp-client.1.2☒☑1
resto-cohttp-self-serving-client.1.2☒☑0
resto-cohttp-server.1.2☒☑1
resto-directory.1.2☑☑4
resto-json.1.2☑☑1
restricted.2.0.0☑☑0
result.1.5☑☑3874
rfc1951.1.5.3☒☑0
rfc6287.1.0.4☒☑0
rfsm.2.3☑☑0
rhythm.0.0.1☑☑0
rich-string.1.0.0☑☑1
ringo.1.1.0☑☑2
rio.0.0.8☑☑11
river.0.4☒☑0
rizzo.0.3.0☑☑0
rock.0.20.0☑☑21
rocq-core.9.2.0☒☑18
rocq-devtools.9.2.0☒☑0
rocq-runtime.9.2.0☒☑24
rocqide.9.2.0☒☑0
roman.0.2☑☑0
root1d.0.5.1☑☑0
rope.0.6.3☑☑2
rosa.0.2.0☑☑0
rosetta.0.4.0☑☑32
routes.2.0.0☑☑7
rowex.0.0.1☑☑2
rpc.9.0.0☒☑0
rpc_parallel.v0.17.0☑☑0
rpclib.10.2.0☑☑12
rpclib-async.10.2.0☑☑0
rpclib-html.10.2.0☑☑0
rpclib-js.10.2.0☑☑0
rpclib-lwt.10.2.0☑☑0
rpmfile.0.8.0☑☑0
rpmfile-cli.0.4.0☒☑0
rpmfile-eio.0.5.0☒☑1
rpmfile-unix.0.5.0☒☑0
rss.3.0☑☑1
rtop.3.17.3☑☑0
rtree.0.1.1☑☑0
rune.1.0.0~alpha3☒☑2
rungen.0.0.1☑☑0
runtime_events_tools.0.5.4☒☑1
runtime_events_tools_bare.0.5.4☑☑0
rusage.1.0.0☑☑10
rust-staticlib-gen.0.2.2☑☑0
rust-staticlib-virtual.0.2.2☑☑1
safemoney.0.3.0☒☑0
safepass.3.1☑☑21
saga.1.0.0~alpha2☒☑4
sail.0.20.1☒☑0
sail_c_backend.0.20.1☒☑0
sail_coq_backend.0.20.1☒☑0
sail_doc_backend.0.20.1☒☑0
sail_latex_backend.0.20.1☒☑0
sail_lean_backend.0.20.1☒☑0
sail_lem_backend.0.20.1☒☑0
sail_maker.0.20.1☑☑1
sail_manifest.0.20☑☑1
sail_ocaml_backend.0.20.1☒☑0
sail_output.0.20.1☒☑0
sail_smt_backend.0.20.1☒☑0
sail_sv_backend.0.20.1☒☑0
salsa20.1.2.0☒☑0
salsa20-core.2.0.0☑☑0
samplerate.0.1.6☒☑4
sanddb.0.3.0☑☑0
sarif.0.3.1☑☑0
satex.0.1.1☑☑0
saturn.1.0.0☑☑13
saturn_lockfree.0.5.0☑☑3
savvy.0.4.0☒☑0
scad_ml.1.1.0☑☑1
scfg.0.5☑☑2
scgi.1.0☑☑0
scipy.sp1.5-0.3.1☒☑1
scope.1.1☒☑0
scrypt-kdf.1.2.0☒☑2
sdl-liquidsoap.3☒☑4
search.0.1.1☑☑0
searchTree.0.1☑☑0
secp256k1.0.5.0☒☑1
secp256k1-internal.0.4.0☒☑2
sedlex.3.7☑☑1752
sek.20201012☑☑0
sel.0.8.0☑☑2
semantic_version.v0.17.0☑☑0
semaphore-compat.1.0.2☑☑12
semver.0.2.1☑☑0
semver2.1.2.0☑☑0
sendmail.0.13.0☒☑9
sendmail-lwt.0.13.0☒☑4
sendmail-miou-unix.0.13.0☒☑0
sendmail-mirage.0.13.0☒☑0
seq.0.3.1☑☑2575
seqes.0.4☑☑0
sequencer_table.v0.17.0☑☑0
serde.0.0.2☒☑3
serde_debug.0.0.1☒☑0
serde_derive.0.0.2☒☑1
serde_json.0.0.2☒☑2
serde_sexpr.0.0.1☒☑0
serde_xml.0.0.1☒☑0
serial.0.1.0☑☑0
serialport.0.3☑☑0
server-reason-react.0.4.1☒☑2
session.0.5.0☑☑16
session-cohttp.0.5.0☑☑8
session-cohttp-async.0.5.0☑☑0
session-cohttp-lwt.0.5.0☑☑5
session-cookie.0.1.8☑☑2
session-cookie-async.0.1.8☑☑0
session-cookie-lwt.0.1.8☑☑0
session-postgresql.0.5.0☒☑2
session-postgresql-async.0.5.0☒☑0
session-postgresql-lwt.0.5.0☒☑0
session-redis-lwt.0.5.0☑☑0
session-webmachine.0.5.0☑☑0
setcore.1.0.2☒☑0
sexp.v0.17.0☑☑0
sexp_decode.0.7☑☑2
sexp_diff.v0.17.0☑☑1
sexp_grammar.v0.17.0☒☑2
sexp_macro.v0.17.0☑☑2
sexp_pretty.v0.17.0☑☑269
sexp_select.v0.17.0☑☑1
sexp_string_quickcheck.v0.17.0☑☑0
sexplib.v0.17.0☑☑1771
sexplib0.v0.17.0☑☑2582
sexps-rewriter.0.0.3☒☑1
sgf.1.0.1☑☑0
sha.1.15.4☑☑65
shades.1.0☑☑0
shakuhachi.0.2.0☒☑0
shapefile.0.2.1☑☑0
shared-block-ring.3.0.1☒☑0
shared-memory-ring.3.2.1☑☑1047
shared-memory-ring-lwt.3.2.1☑☑1046
shared-secret.0.4☑☑0
shell.v0.17.0☑☑9
shellwords.1.0.0☑☑0
sherlodoc.3.2.1☒☑14
shexp.v0.17.0☑☑2
shine.0.2.3☒☑4
shuttle_http.0.12.0☒☑1
shuttle_websocket.0.12.0☒☑0
sifun.3.0.0☑☑0
signal.0.4.2☑☑0
sihl.3.0.5☒☑6
sihl-cache.3.0.5☒☑0
sihl-contract.0.3.0~rc1☒☑10
sihl-core.0.3.0~rc1☒☑11
sihl-email.3.0.5☒☑0
sihl-facade.0.3.0~rc1☒☑9
sihl-persistence.0.3.0~rc1☒☑7
sihl-queue.3.0.5☒☑0
sihl-session.0.3.0~rc1☒☑1
sihl-storage.3.0.5☒☑0
sihl-token.3.0.5☒☑1
sihl-type.0.2.2☒☑8
sihl-user.3.0.5☒☑0
sihl-web.0.3.0~rc1☒☑1
simlog.0.0.4☒☑0
simple63.1☑☑0
simple_httpd.1.0.1☒☑1
simple_httpd_caqti.1.0.1☒☑0
sitemap.1.0☑☑0
sklearn.sk0.23-0.3.1☑☑1
slacko.0.15.0☒☑0
slice.0.0.4☑☑11
slipshow.0.10.0☒☑1
slug.1.0.1☑☑2
slugline.1.0.0☑☑0
sm.0.1.1☑☑0
smart-print.0.3.0☑☑3
smaws-clients.0.1~preview1☒☑0
smaws-lib.0.1~preview1☒☑1
smol.0.0.1☑☑2
smol-helpers.0.0.1☑☑1
smtlib-utils.0.5☑☑0
smtml.0.26.0☒☑1
snappy.0.1.2☒☑1
snf_mcp.0.2.1☒☑0
snkv.0.1.1☑☑0
solidity-common.0.2.0☒☑4
solidity-parser.0.2.0☒☑3
solo5-elftool.0.4.0☑☑1
sortedseq_intersect.0.2.0☑☑0
soundtouch.0.1.9☒☑4
soupault.5.2.0☑☑0
sowilo.1.0.0~alpha3☒☑1
spatial-shell.6☒☑0
spawn.v0.17.0☑☑331
spdx_licenses.1.4.0☑☑25
spectrum.1.0.0.alpha2☑☑1
spectrum_capabilities.1.0.0.alpha2☑☑2
spectrum_palette_ppx.1.0.0.alpha2☑☑4
spectrum_palettes.1.0.0.alpha2☑☑3
spectrum_tools.1.0.0.alpha2☑☑2
speed.0.2.0☑☑0
speex.1.0.0☒☑4
spelll.0.4☑☑25
spices.0.0.2☑☑11
spin.0.5.1☒☑0
splay_tree.v0.17.0☑☑3
splittable_random.v0.17.0☑☑516
spoke.0.0.4☑☑0
spotify-web-api.0.2.1☒☑0
spotify_ml.0.0.2☒☑0
spurs.0.1.1☒☑0
sqids.0.1.0☑☑0
sqlgg.20231201☑☑0
sqlite3.5.4.1☒☑57
sqlite3_utils.0.5☒☑0
srt.0.3.4☒☑4
ssh-agent.0.4.1☒☑0
ssl.0.7.0☒☑256
starpath.0.1.2☒☒0
starred_ml.0.0.9☒☑0
stdcompat.21.1☑☑78
stdint.0.7.2☑☑74
stdint-literals.1.0☑☑0
stdio.v0.17.0☑☑1652
stdlib-diff.0.1.3☑☑0
stdlib-random.1.2.0☑☑3
stdlib-shims.0.3.0☑☑2594
stdune.3.23.0☒☑316
stem.0.0.1☑☑1
stitch.0.0.0☑☑0
stk_iconv.0.5.0☒☑1
stk_ppx.0.5.0☒☑7
stog.1.1.0☒☑16
stog_all.1.1.0☒☑0
stog_asy.1.1.0☒☑2
stog_dot.1.1.0☒☑2
stog_extern.1.1.0☒☑2
stog_markdown.1.1.0☒☑2
stog_multi_doc.1.1.0☒☑2
stog_nocaml.1.1.0☒☑2
stog_noexec.1.1.0☒☑2
stog_plugins.1.1.0☒☑1
stog_rel_href.1.1.0☒☑2
stog_server.1.1.0☒☑2
stog_server_multi.1.1.0☒☑1
stog_sitemap.1.1.0☒☑2
stog_writing.1.1.0☒☑2
stone.0.6.1☑☑0
store.0.1☑☑10
stored_reversed.v0.17.0☑☑8
stramon-lib.0.3.0☒☑0
streamable.v0.17.1☑☑11
streaming.0.8.0☑☑0
stringCodepointSplitter.0.0.2☑☑0
string_dict.v0.17.0☑☑0
stringext.1.6.0☑☑677
stringx.0.3.0☑☑0
sturgeon.0.4.2☑☑0
styled-ppx.0.61.0☒☑0
subprocess.0.2.1☑☑0
subtype-refinement.0.2☑☑0
sun.0.1☑☑0
svmwrap.5.1.1☒☑0
swapfs.0.1.0☑☑0
swhid.0.2☒☑0
swhid_core.0.1☑☑43
swipl.0.5☒☑0
symex.0.2☒☑0
synchronizer.0.3☑☑0
syndic.1.8.0☒☑2
synopsis.1.1☒☑0
sys-socket.1.0.0☑☑1
sys-socket-unix.1.0.0☑☑0
syslog.2.0.2☑☑4
syslog-message.1.2.0☑☑17
syslog-rfc5424.0.2☑☑0
systemverilog.0.0.2☒☑0
tablecloth-base.0.0.10☑☑1
tablecloth-native.0.0.7☑☑0
tabr.0.1.2☑☑0
tacit.1.0.0☑☑0
taglib.0.3.10☒☒3
talaria-bibtex.0.5☑☑1
talon.1.0.0~alpha3☒☑1
tar.3.3.0☑☑8
tar-eio.3.3.0☑☑0
tar-mirage.3.3.0☑☑0
tar-unix.3.3.0☑☑2
tcalc.1.1.1☑☑0
tcpip.9.0.1☑☑105
tcs-lib.0.6☑☑3
tdigest.2.2.1☑☑0
telemetry.0.0.1☑☑6
telltime.0.0.3☑☑0
tensorboard.0.0.1☑☑0
term-indexing.0.0.1☑☑0
term-tools.0.0.2☑☑0
terminal.0.5.0☑☑18
terminal_size.0.2.0☑☑6
terml.0.0.1☑☑0
testcontainers.0.1.0☑☑10
testcontainers-elasticsearch.0.1.0☑☑0
testcontainers-kafka.0.1.0☑☑0
testcontainers-localstack.0.1.0☑☑0
testcontainers-memcached.0.1.0☑☑0
testcontainers-mockserver.0.1.0☑☑0
testcontainers-mongo.0.1.0☑☑0
testcontainers-mysql.0.1.0☑☑0
testcontainers-postgres.0.1.0☑☑0
testcontainers-rabbitmq.0.1.0☑☑0
testcontainers-redis.0.1.0☑☑0
testo.0.5.0☑☑5
testo-diff.0.5.0☑☑3
testo-lwt.0.5.0☑☑0
testo-util.0.5.0☑☑2
testu01.1.2.3-0.2☒☒3
textmate-language.0.6.0☒☑4
textrazor.0.1.1☒☑0
textutils.v0.17.0☑☑227
textutils_kernel.v0.17.0☑☑1
textwrap.0.2.1☑☑1
tezos-base58.1.0.0☒☑9
tezos-context-hash.1.0.0☒☑1
tezt.4.3.0☒☑18
tezt-bam.0.4☒☑0
theora.1.0.0☒☑6
thread-local-storage.0.2☑☑52
thread-table.1.0.0☒☑113
tidy_email.0.0.1☑☑3
tidy_email_mailgun.0.0.1☒☑0
tidy_email_sendgrid.0.0.1☒☑0
tidy_email_smtp.0.0.1☒☑0
tilde_f.v0.17.0☑☑5
time_now.v0.17.0☑☑621
timed.1.1☒☑1
timedesc.3.1.0☒☑3
timedesc-json.3.1.0☒☑0
timedesc-sexp.3.1.0☒☑0
timedesc-tzdb.3.1.0☒☑4
timedesc-tzlocal.3.1.0☒☑5
timedesc-tzlocal-js.3.1.0☒☑0
timere.0.8.0☒☑2
timezone.v0.17.0☑☑261
timmy.1.1.5☒☑3
timmy-jsoo.1.1.5☒☑0
timmy-lwt.1.1.5☒☑0
timmy-unix.1.1.5☒☑0
tiny_httpd.0.20☒☑10
tiny_httpd_camlzip.0.20☒☑0
tiny_httpd_eio.0.20☒☑0
tinyfiledialogs.1.0☒☑0
tip-parser.0.6☑☑0
tldr.0.3.0☒☑0
tls.2.0.4☒☑326
tls-async.2.0.4☒☑6
tls-eio.2.0.4☒☑12
tls-liquidsoap.1☒☑4
tls-lwt.2.0.4☒☑235
tls-miou-unix.2.0.4☒☑11
tls-mirage.2.0.4☒☑67
tm-grammars.2.0.0☑☑2
toc.0.1.0☑☑0
toffee.0.1.0☒☑4
tofn.0.12☑☑0
togglelog.0.1.1☑☑0
toml.7.1.0☑☑23
toml-cconv.5.0.0☒☑0
toml_cconv.7.0.0☒☑0
top-closure.3.23.0☒☑317
toplevel_backend.v0.17.0☑☑1
toplevel_expect_test.v0.17.0☑☑0
topojson.0.1.0☑☑1
topojsone.0.1.0☑☑0
topological_sort.v0.17.0☑☑0
torch.v0.17.0☒☒0
tqdm.0.1☑☑0
trace.0.12☑☑38
trace-fuchsia.0.12☑☑2
trace-runtime-events.0.12☒☑0
trace-tef.0.12☑☑8
tracing.v0.17.0☑☑2
tracy-client.0.7.1☑☑0
traits.0.1.0☑☑0
trampoline.0.1.0☒☑0
transept.0.1.0☑☑0
traverse.0.3.0☑☑7
trax.0.4.0☑☑0
tree-sitter.0.1.0☒☑4
tree_layout.0.2☑☑0
trexio.2.2.0☒☒0
trie.1.0.0☑☑151
trs.1.0.0☑☑0
tsdl-image.0.6☒☑28
tsdl-mixer.0.6☒☑0
tsdl-ttf.0.7☒☑27
tsort.2.2.0☑☑14
tty.0.0.2☑☑11
tube.4.4.0☑☑0
tuntap.2.0.1☑☑2
twirp_cohttp_lwt_unix.0.2☒☑0
twirp_core.0.2☒☑3
twirp_ezcurl.0.2☒☑0
twirp_tiny_httpd.0.2☒☑0
twostep.1.0.1☒☑2
tyabt.0.1.0☑☑0
type_eq.0.0.1☑☑1
type_id.0.0.1☑☑0
typed_list.0.0.1.1☑☑0
typeid.2.0.0☑☑0
typerep.v0.17.1☑☑516
typeset.0.4☒☑0
tyre.1.0☑☑4
tyxml.4.6.0☑☑111
tyxml-jsx.4.6.0☑☑2
tyxml-lwd.0.5☑☑0
tyxml-ppx.4.6.0☑☑2
tyxml-syntax.4.6.0☑☑4
ubase.0.20☑☑4
ubpf.0.2☑☑0
uecc.0.4☑☑0
ufind.0.2.0☒☑0
uint.2.0.1☑☑17
ulid.0.1☒☑0
um-abt.0.1.7☑☑0
unidecode.0.5.0☑☑0
unionFind.20250818☑☑10
unisim_archisec.0.0.14☑☑2
unison.2.53.3☒☑0
universal-portal.0.3.0☒☑0
universo.2.7☒☑0
unix-errno.0.6.2☑☑17
unstrctrd.0.4☑☑65
uopt.v0.17.0☑☑410
uri.4.4.0☑☑662
uri-bench.4.4.0☑☑0
uri-re.4.4.0☑☑0
uri-sexp.4.4.0☑☑283
uring.2.7.0☑☑37
uring-trace.0.1.0☒☑0
uritemplate.0.2.0☑☑0
urn.20231124☑☑0
user-agent-parser.0.2.0☑☑0
username_kernel.v0.17.0☑☑0
uspf.0.2.1☑☑4
uspf-lwt.0.2.1☒☑0
uspf-mirage.0.2.1☒☑0
uspf-unix.0.0.4☒☑0
utcp.0.0.3☑☑10
utop.2.17.0☑☑119
uuuu.0.4.0☑☑30
validate.1.1.0☑☑0
validator.0.2.3☑☑0
valkey.0.3.1☒☑0
variantslib.v0.17.0☑☑527
varray.0.2☒☑0
vcardgen.1.2☑☑0
vchan.6.0.2☒☑14
vchan-xen.6.0.2☒☑2
vdom.0.3☑☑7
vec.0.4.0☑☑1
vector.1.0.0☑☑20
vector3.1.0.0☑☑10
vendredi.0.1.0☑☑0
versioned_polling_state_rpc.v0.17.0☑☑2
vhd-format.0.13.0☒☑1
vhd-format-lwt.0.13.0☒☑0
vif.0.0.1~beta3☒☑1
vifu.0.0.1~beta3☒☑0
virtfs.1.0.0☑☑0
visitors.20251114☒☑10
vlt.0.2.5☑☑28
vocal.0.1☑☑0
volgo.0.0.22☒☑10
volgo-base.0.0.22☒☑2
volgo-git-backend.0.0.22☒☑7
volgo-git-eio.0.0.22☒☑1
volgo-git-unix.0.0.22☒☑4
volgo-hg-backend.0.0.22☒☑5
volgo-hg-eio.0.0.22☒☑0
volgo-hg-unix.0.0.22☒☑3
volgo-vcs.0.0.22☒☑0
voqc.0.1☒☑0
vorbis.1.0.0☒☑4
vpt.5.0.0☑☑1
vscoq-language-server.2.2.6☒☑0
vsrocq-language-server.2.4.3☒☑1
vue-jsoo.0.3☑☑0
vue-ppx.0.1.0☑☑0
wall.0.4.1☒☑0
wasm.2.0.2☒☑0
wasm_of_ocaml-compiler.6.3.2☒☑6
wasmer.1.2.1☒☑0
wasmtime.0.0.3☒☒0
wayland.2.2☑☑0
waylaunch.0.3.0☒☑0
wcwidth.1.1.0☑☑0
webauthn.0.2.0☒☑0
webmachine.0.7.0☑☑18
websocket.2.17☒☑29
websocket-async.2.17☒☑1
websocket-lwt-unix.2.17☒☑26
webtest.2.0.0☑☑6
webtest-js.2.0.0☑☑5
why3find.1.3.0☒☑0
wikitext.3.0.1☑☑0
win-error.1.0☑☑4
win-eventlog.0.4☑☑0
windtrap.0.1.0☑☑14
wire.0.9.0☒☑0
wol.1.0☑☑2
wol-eio.1.0☑☑0
wol-mirage.1.0☑☑0
ws-server.0.1☒☑0
wtf8.1.0.2☑☑1
wtr.3.0.0☑☑1
wtr-ppx.3.0.0☑☑0
wu-manber-fuzzy-search.0.1.0☑☑0
x509.1.0.6☒☑369
xapi-backtrace.0.8☑☑5
xapi-inventory.1.2.3☒☒0
xapi-rrd.1.12.0☒☑0
xapi-stdext-date.4.24.0☑☑0
xapi-stdext-encodings.4.24.0☑☑0
xapi-stdext-pervasives.4.24.0☑☑4
xapi-stdext-std.4.24.0☑☑0
xapi-stdext-threads.4.24.0☑☑1
xapi-stdext-unix.4.24.0☒☒2
xapi-stdext-zerocheck.4.24.0☑☑0
xcursor.0.1.0☑☑0
xdg.3.23.0☒☑132
xdg-basedir.0.0.5☑☑3
xdge.1.0.0☑☑0
xedbindings.0.14☒☑0
xen-evtchn.2.1.0☑☑2
xen-evtchn-unix.2.1.0☒☒1
xen-gnt.4.0.2☒☑2
xenstore.2.4.0☑☑1050
xenstore-tool.1.5.0☑☑0
xenstore_transport.1.5.0☑☑16
xkbcommon.0.1☒☑0
xlsx2csv.0.1.2☒☑0
xmelly.1.0.0☑☑0
xml-light.2.5☑☑35
xmldiff.0.7.0☑☑8
xmldiff_js.0.7.0☑☑3
xmlplaylist.0.1.5☑☑4
xoshiro.0.1☒☑0
xtmpl.1.2.0☑☑42
xtmpl_js.1.2.0☑☑3
xtmpl_ppx.1.2.0☑☑31
yaml.3.2.0☑☑42
yaml-sexp.3.2.0☑☑2
yamlx.0.3.0☑☑1
yocaml.3.0.0☑☑13
yocaml_cmark.1.0.0☒☑0
yocaml_cmarkit.3.0.0☑☑0
yocaml_eio.3.0.0☑☑0
yocaml_git.3.0.0☒☑0
yocaml_jingoo.3.0.0☑☑0
yocaml_liquid.3.0.0☑☑0
yocaml_markdown.3.0.0☒☑0
yocaml_mustache.3.0.0☑☑0
yocaml_omd.3.0.0☑☑0
yocaml_otoml.3.0.0☑☑0
yocaml_runtime.3.0.0☑☑3
yocaml_syndication.3.0.0☑☑0
yocaml_unix.3.0.0☒☑0
yocaml_yaml.3.0.0☑☑0
yojson.3.0.0☒☑1862
yojson-bench.2.0.2☒☑0
yojson-five.3.0.0☒☑1
yosqlite.0.2☒☑0
yultracer.0.2.0☒☑0
yurt.0.6☒☑0
yuscii.0.3.0☑☑30
yuujinchou.5.2.0☑☑2
zanuda.2.0.0☒☑0
zar.0.9.3☑☑0
zarith_stubs_js.v0.17.0☑☑28
zarr.0.1.0☒☑3
zarr-eio.0.1.0☒☑0
zarr-lwt.0.1.0☒☑0
zarr-sync.0.1.0☒☑0
zdd.0.5☑☑0
zed.3.2.3☑☑147
zeit.0.1.0☒☑1
zelus.2.2☒☑1
zelus-gtk.2.2☒☑0
zlib.0.8☒☑3
zlist.0.5.0☑☑0
zmq.5.3.0☒☑18
zmq-async.5.3.0☒☑0
zmq-eio.5.3.0☒☑0
zmq-lwt.5.3.0☒☑4
zstandard.v0.17.0☒☑3
zstd.0.4☒☑2
zxcvbn.2.4+1☑☑0