由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

opam

话题找到数量

mirage/mirage

OCaml

MirageOS 是一个构建单内核的库操作系统

kvm linux mirageos
mirage
mirage 开发者
3k
272
660
排名 #9
7月8日
查看详情

ocaml/dune

OCaml

可组合的OCaml构建系统

build dune jbuilder
ocaml
ocaml 开发者
1.9k
500
1.2k
+1
排名 #5
9月19日
查看详情

ocaml/opam

OCaml

opam 是一款基于源码的包管理器，支持同时安装多个编译器、灵活的包约束以及适合 Git 的开发工作流。

git ocaml opam
ocaml
ocaml 开发者
1.4k
410
960
排名 #8
9月18日
查看详情

rocq-prover/opam

OCaml

按不同仓库组织的所有Rocq和Coq相关opam包存档

coq opam opam-repository
rocq-prover
rocq-prover 开发者
172
181
837
+1
排名 #17
6月29日
查看详情
助手