用 OCaml 编写的库

redtt

“在黑暗与黎明之间，一个红色立方体升起！”：笛卡尔立方型理论的证明助手。
  • 194
  • Apache License 2.0

FaCT

灵活且恒定时间的编程语言。
  • 190
  • BSD 3-clause "New" or "Revised"

async

Jane Street Capital 的异步执行库（由 janetreet 提供）。
  • 182
  • MIT

ocaml5-tutorial

有关 OCaml 5 中新并行功能的实践教程。
  • 182
  • MIT

morbig

POSIX Shell 的静态解析器。
  • 181
  • GNU General Public License v3.0

C11parser

使用 Menhir 和 OCaml 编写的正确的 C89/C90/C99/C11/C18 解析器。
  • 174
  • GNU General Public License v3.0

patoline

Patoline排版系统。
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

一个参数生成器，用于设计用 ocaml 编写的分体式凹面人体工学键盘。
  • 170
  • GNU Affero General Public License v3.0

drom

drom 是 opam/dune 的包装，试图提供类似货物的用户体验。它可用于创建带有 sphinx 和 odoc 文档的完整 OCaml 项目。它具有 Github 的具体知识，并将为 Github Actions CI 和 Github 页面生成文件。
  • 165
  • GNU General Public License v3.0

mlang

M语言的编译器，用于计算法国纳税人的所得税。
  • 160
  • GNU General Public License v3.0 only

lablqml

Qt/QML 与 OCaml 的接口。以前称为 lablqt。
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

用于创建 supermin 设备的工具（以前称为 febootstrap）。请不要使用 GitHub 来提出问题或拉取请求。请参阅网站了解如何提交错误或联系我们。 http://libguestfs.org。
  • 155
  • GNU General Public License v3.0 only

pyml

Python 的 OCaml 绑定。
  • 154
  • BSD 2-clause "Simplified"

domainslib

域上的并行编程。
  • 144
  • ISC

sexplib

自动 S 表达式转换。
  • 141
  • MIT

postgresql-ocaml

PostgreSQL 数据库的 OCaml 绑定。
  • 138
  • GNU General Public License v3.0

jsoo-react

ReactJS 的 js_of_ocaml 绑定。基于 ReasonReact..
  • 136
  • MIT

preface

Preface 是一个固执己见的库，旨在促进 OCaml 中重复出现的函数式编程习惯的处理。
  • 132
  • MIT

reagents

多核 OCaml 试剂。
  • 126
  • ISC

opam-monorepo

组装沙丘工作区以构建整个项目及其依赖项。
  • 126
  • ISC

ocurrent

保持最新（CI/CD 管道 OCaml eDSL）。
  • 125
  • Apache License 2.0

flitter

一款受 Livesplit 启发的速度运行分割计时器，适用于 Linux/macOS 终端。支持全局热键。 （由阿莱克索泽）。
  • 124
  • MIT

stanc3

Stan 转译器（从 Stan 到 C++ 及更高版本）..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ 零废话。
  • 116
  • Mozilla Public License 2.0

lua-ml

在 OCaml 中实现的嵌入式 Lua 2.5 解释器。
  • 116
  • BSD 2-clause "Simplified"

nice-parser

OCaml 中的解析器很好，没有样板。
  • 115
  • MIT

coq-serapi

Coq 协议游乐场与内部结构的序列化..
  • 114
  • GNU General Public License v3.0

streaming

快速、安全且可组合的流抽象。 （由奥迪斯实验室提供）。
  • 105
  • ISC

sqlite3-ocaml

OCaml 绑定到 SQLite3 数据库。
  • 104
  • GNU General Public License v3.0

iter

简单迭代器抽象数据类型，旨在在执行某些转换时有效地迭代集合。 （由 c-cube 提供）。
  • 102
  • BSD 2-clause "Simplified"