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

opam

话题找到数量

mirage/mirage

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

3k
277
1k
排名 #7
10月7日
查看详情

ocaml/dune

可组合的OCaml构建系统

1.9k
507
1.9k
+1
排名 #6
11月1日
查看详情

ocaml/opam

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

1.4k
410
1.5k
+1
排名 #7
11月1日
查看详情

jean-voila/FeurStagram

Instagram without Reels, feed or ads: an open-source, updatable Instagram app for Android that keeps DMs and stories.

1.2k
71
622
+6
排名 #17
11月2日
查看详情

londek/ipadecrypt

🔓 ipadecrypt 是一款开源工具,用于下载、修补和解密 .ipa,对 Palera1n 和多巴胺越狱的用户干预最少

606
71
717
+10
排名 #5
9月28日
查看详情

rocq-prover/opam

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

172
181
1.3k
+1
排名 #17
6月29日
查看详情
助手