ocaml

Bartosz Milewski 的《程序员的类别理论》非官方 PDF 与 LaTeX 源文件

简洁、快速且类型安全的代码，利用 JavaScript 与 OCaml 生态系统

酷炫的开源项目。挑选你的项目，立即参与开源开发。

核心 OCaml 系统：编译器、运行时系统、基础函数库

在 Google Drive 上的 FUSE 文件系统

WebAssembly（wasm）构建框架。轻松且安全地加载 wasm 模块、移动数据、调用函数，并构建可扩展的应用。

Klipse 是一个 JavaScript 插件，用于在技术博客嵌入交互式代码片段

精选的 OCaml 工具、框架、函数库与文章集合。

面向证明的程序语言

MirageOS 是一个构建 unikernel 的函数库操作系统

二进制分析平台

Mina 是一个具有固定大小区块链的加密货币协议，在维持去中心化与安全性的同时改善扩展性。

Irmin 是一个遵循与 Git 相同设计原则的分布式数据库

适用于 OCaml 的可组合式构建系统。

整洁且功能完备的 Web 框架

Vim 和 Emacs 中 OCaml 的上下文敏感补全

Nodebook - 多语言 Web REPL 与 CLI 代码运行器

opam 是一个基于源码的包管理器。它支持同时安装多个编译器、灵活的包限制，以及对 Git 友好的开发工作流程。

没有状态文件瓶颈的 Terraform

一个静态类型的函数式排版系统

Hazel，一个带有类型洞 (typed holes) 的实时函数式编程环境

将 OCaml 编译为 JavaScript 的编译器。

适用于 Rust 程序的验证工具链

Felix 编程语言

OCaml promises 与并发 I/O

一个使用 Lwt 或 Async 的 OCaml HTTP 客户端与服务器库

OCaml 代码自动格式化工具

适用于多核心 OCaml 的基于效果的直截风格 IO

为速度与内存效率而生的解析器组合子

用 OCaml 实现、更快更简单且更具可移植性的 jq 风格语言实现