Các thư viện được viết bằng OCaml

sihl

Một khung web chức năng mô-đun.
  • 339
  • MIT

ocaml-ctypes

Thư viện để liên kết với các thư viện C bằng OCaml thuần túy.
  • 337
  • MIT

notty

Đồ họa đầu cuối khai báo cho OCaml (bởi pqwy).
  • 323
  • ISC

bamboo

Tre xem https://github.com/cornellblockchain/bamboo (của pirapira).
  • 318
  • Apache License 2.0

bonsai

Một thư viện để xây dựng các ứng dụng web động, sử dụng Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Phần mở rộng Mã Visual Studio cho OCaml.
  • 298
  • ISC

soupault

Trình tạo trang web tĩnh dựa trên việc viết lại cây phần tử HTML.
  • 294
  • MIT

ocaml-h2

Việc triển khai HTTP/2 được viết bằng OCaml thuần túy.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Bảo hiểm mã cho OCaml và ReScript.
  • 283
  • MIT

yojson

Phân tích cú pháp JSON cấp thấp và thư viện in đẹp cho OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Thư viện mã hóa/giải mã JSON tổng hợp cho BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Khung web thử nghiệm cho ReasonML & OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb là một phần mềm phả hệ miễn phí (như trong tự do ngôn luận) với giao diện web được tạo bởi Daniel de Rauglaudre..
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Nhân OCaml cho sổ ghi chép Jupyter (IPython).
  • 258
  • MIT

1ml

Trình thông dịch nguyên mẫu 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Truy cập theo luồng hợp tác vào dữ liệu quan hệ.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Hướng dẫn lập trình song song Multicore OCaml với domainslib.
  • 252
  • ISC

bsb-native

Xây dựng hệ thống cho OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Ngôn ngữ trình độ trung cấp hợp đồng thông minh (bởi Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Bộ công cụ REST cho OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

daemon p2p đa mạng đa nền tảng.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Xác minh chính thức cho OCaml.
  • 215
  • MIT

sedlex

Trình tạo từ vựng OCaml cho Unicode.
  • 212
  • MIT

coq2rust

Khai thác chương trình Coq to Rust. Toàn bộ cây trên cơ sở mã Coq ban đầu..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Các biểu thức chính quy OCaml thuần túy, với sự hỗ trợ cho các chuỗi kiểu Perl và POSIX.
  • 206
  • GNU General Public License v3.0

extprot

extprot: giao thức nhị phân có thể mở rộng cho giao tiếp đa ngôn ngữ và tuần tự hóa dài hạn.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Dự án này nhằm mục đích có thể xuất các tệp Kicad Sch thành các tệp ảnh có cấu trúc (bởi jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Máy ảo tường lửa Mirage cho QubesOS.
  • 195

c2bf

Trình biên dịch từ C sang brainfuck.
  • 194
  • GNU General Public License v3.0 only