★
tomprimozic / type-systems
type-systems
Implementations of various type systems in OCaml.
type-systems 是用 OCaml 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 1.6k star、75 fork，主要语言为 OCaml，项目始于 2014 年，采用 Unlicense 许可。最近状态：已有一段时间未更新。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。tomprimozic/type-systems 是一个以 OCaml 为主的开源项目，目前累计 1.6k star、75 fork，较长时间未更新。项目未标注主题标签。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。无主题标签
README
正在加载…相关项目
★
austral 是用 OCaml 编写的工程工具，用于代码分析、构建与打包，主打注重安全。
Systems language with linear types and capability-based security.
★
incremental 是用 OCaml 编写的代码库，提供可直接复用的能力。
A library for incremental computations
★
merlin 是用 OCaml 编写的编辑器工具，用于代码与文本编辑。
Context sensitive completion for OCaml in Vim and Emacs
★
liquidsoap 是用 OCaml 编写的多媒体工具，用于处理音视频内容。
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file genera…
★
bonsai 是用 OCaml 编写的代码库，提供可直接复用的能力。
A library for building dynamic webapps, using Js_of_ocaml