★
batsh-dev-team / Batsh
Batsh
A language that compiles to Bash and Windows Batch
Batsh 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 4.3k star、166 fork，主要语言为 OCaml，项目始于 2013 年。最近状态：已有一段时间未更新。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。batsh-dev-team/Batsh 是一个以 OCaml 为主的开源项目，目前累计 4.3k star、166 fork，较长时间未更新。项目未标注主题标签。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。无主题标签
README
正在加载…相关项目
★
rocq 是用 OCaml 编写的学习资料，用于算法与数据结构学习。
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable al…
★
opengrep 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打注重安全。
🔎 Static code analysis engine to find security issues in code.
★
google-drive-ocamlfuse 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
FUSE filesystem over Google Drive
★
mirage 是用 OCaml 编写的系统软件，属于操作系统或底层系统软件。
MirageOS is a library operating system that constructs unikernels
★
magic-trace 是用 OCaml 编写的 AI 工具，用于人工智能方向的建模与推理。
magic-trace collects and displays high-resolution traces of what a process is doing