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

opam

话题找到数量

mirage/mirage

OCaml

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

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

ocaml/dune

OCaml

可组合的OCaml构建系统

build dune jbuilder
ocaml
ocaml 开发者
1.9k
489
525
排名 #4
8月4日
查看详情

ocaml/opam

OCaml

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

git ocaml opam
ocaml
ocaml 开发者
1.4k
401
325
排名 #7
8月4日
查看详情

rocq-prover/opam

OCaml

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

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