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 編寫並可在瀏覽器中執行的 Game Boy 模擬器 🐫 🎮