SATySFi 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A statically-typed, functional typesetting system
Programming language for literate programming law specification
catala 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
目前累计 2.4k star、113 fork,主要语言为 OCaml,项目始于 2020 年,采用 Apache-2.0 许可。最近状态:近一个月有提交。适合:正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目;无维护条目时依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经项目方确认,不构成选型结论。CatalaLang/catala 是一个以 OCaml 为主的开源项目,目前累计 2.4k star、113 fork,近 30 天内有提交。主要方向:legislative-texts、programming-language。
依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经人工逐项核实。SATySFi 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
A statically-typed, functional typesetting system
reason 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打速度快、易用、类型安全。
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
pfff 是用 OCaml 编写的实用工具,用于解决具体场景问题。
Tools for code analysis, visualizations, or style-preserving source transformation.
2027QuantInternships 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Public quant internship repository, maintained by NUFT but available for everyone.
bap 是用 OCaml 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。
Binary Analysis Platform
fastpack 是用 OCaml 编写的工程工具,用于代码分析、构建与打包,主打速度快、易用。
Pack JS code fast & easy
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。