用 OCaml 编写的库

smart-contracts

智能合约库（由 oxheadalpha 提供）。
  • 100
  • MIT

coq-lsp

Coq 的 Visual Studio 代码扩展和语言服务器协议。
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

Cap'n Proto RPC 实现。
  • 89
  • GNU General Public License v3.0

ocaml-asp

OCaml 的代数分阶段解析：类型化、组合式且比 yacc 更快。
  • 87
  • MIT

camlboot

实验如何引导 OCaml 编译器。
  • 84
  • MIT

yocaml

YOCaml 是一个静态站点生成器，主要用 OCaml 编写。
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 和 3：GIMP 工具包的接口。
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

从类型定义生成 S 表达式转换函数。
  • 76
  • MIT

silk

Silk 编程语言（由 AjayMT 编写）。
  • 75
  • MIT

weidu

WeiDU 是一个用于开发、分发和安装基于 Infinity Engine 的游戏修改版的程序。
  • 71
  • GNU General Public License v3.0 only

ocamlot

OCaml! 中的 Activitypub 服务器。
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

OCaml 的 Flambda 后端项目。
  • 61

cuite

(镜像) OCaml 绑定到 Qt 工具包..
  • 58
  • MIT

tornado

Tornado 是一个完全用 OCaml 编写的 BitTorrent 客户端。 （弗莱德夫）。
  • 57
  • MIT

kalandralang

流放之路制作食谱的编程语言。
  • 54
  • MIT

miragevpn

OpenVPN 协议的固执己见的实现。
  • 53

virt-v2v

Virt-v2v 将来自外部虚拟机管理程序的来宾转换为在 KVM 上运行。
  • 51
  • GNU General Public License v3.0 only

ego

OCaml 中的 EGraph（由 verse-lab 提供）。
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

在 OCaml 中为 MirageOS 实现矩阵服务器。
  • 49
  • ISC

unikernels

MirageOS unikernels（由 roburio）。
  • 49

prometheus

用于向 Prometheus 服务器报告指标的 OCaml 库（通过 Mirage）。
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

OCaml 的 gRPC 库。
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

S-表情瑞士刀。
  • 41
  • MIT

obuilder

使用 btrfs/zfs 快照的实验性“docker build”替代方案。
  • 40
  • Apache License 2.0

VIBES

通过综合进行验证、增量、二进制编辑。
  • 39
  • MIT

otoml

OCaml 的 TOML 解析、操作和漂亮打印库（完全兼容 1.0.0）。
  • 39
  • MIT

illuaminate

Lua 的静态分析尚未完成。
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

我的 AoC 2017 解决方案，使用 Nim、OCaml 和 Python（作者：narimiran）。
  • 38
  • MIT

bondi

bondi 编程语言的源代码。
  • 38
  • MIT