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

redtt

"Giữa bóng tối và bình minh, một khối lập phương màu đỏ trỗi dậy!": trợ lý chứng minh cho lý thuyết loại lập phương Descartes.
  • 194
  • Apache License 2.0

FaCT

Ngôn ngữ lập trình thời gian linh hoạt và không đổi.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Thư viện thực thi không đồng bộ của Jane Street Capital (bởi janestreet).
  • 182
  • MIT

ocaml5-tutorial

Hướng dẫn thực hành về các tính năng xử lý song song mới trong OCaml 5.
  • 182
  • MIT

morbig

Trình phân tích cú pháp tĩnh cho POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Trình phân tích cú pháp C89/C90/C99/C11/C18 chính xác được viết bằng Menhir và OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Hệ thống sắp chữ Patoline.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Một trình tạo tham số để thiết kế bàn phím tách, lõm, tiện dụng được viết bằng ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom là một trình bao bọc trên opam/dune nhằm cố gắng cung cấp trải nghiệm người dùng giống như hàng hóa. Nó có thể được sử dụng để tạo các dự án OCaml đầy đủ với tài liệu sphinx và odoc. Nó có kiến ​​thức cụ thể về Github và sẽ tạo các tệp cho các trang Github CI và Github Actions..
  • 165
  • GNU General Public License v3.0

mlang

Trình biên dịch cho ngôn ngữ M, được sử dụng để tính thuế thu nhập của người nộp thuế ở Pháp.
  • 160
  • GNU General Public License v3.0 only

lablqml

Giao diện Qt/QML với OCaml. Chính thức được gọi là lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

công cụ để tạo các thiết bị supermin (trước đây gọi là febootstrap). VUI LÒNG KHÔNG SỬ DỤNG GITHUB CHO CÁC VẤN ĐỀ HOẶC YÊU CẦU KÉO. Xem trang web để biết cách gửi lỗi hoặc liên hệ với chúng tôi. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Các ràng buộc OCaml cho Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Lập trình song song trên miền.
  • 144
  • ISC

sexplib

Tự động chuyển đổi biểu thức S.
  • 141
  • MIT

postgresql-ocaml

OCaml-bindings cho cơ sở dữ liệu PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml ràng buộc cho ReactJS. Dựa trên ReasonReact..
  • 136
  • MIT

preface

Lời nói đầu là một thư viện có ý kiến ​​được thiết kế để tạo thuận lợi cho việc xử lý các thành ngữ lập trình chức năng định kỳ trong OCaml..
  • 132
  • MIT

reagents

Thuốc thử cho OCaml đa lõi.
  • 126
  • ISC

opam-monorepo

Lắp ráp các không gian làm việc trên cồn cát để xây dựng toàn bộ dự án của bạn và các thành phần phụ thuộc của nó.
  • 126
  • ISC

ocurrent

Luôn cập nhật mọi thứ (đường dẫn CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Bộ đếm thời gian phân chia tốc độ chạy lấy cảm hứng từ Livesplit dành cho thiết bị đầu cuối Linux/macOS. Hỗ trợ các phím nóng toàn cầu. (bởi alexozer).
  • 124
  • MIT

stanc3

Bộ chuyển mã Stan (từ Stan sang C++ và hơn thế nữa)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Không có git nhảm nhí.
  • 116
  • Mozilla Public License 2.0

lua-ml

Trình thông dịch Lua 2.5 có thể nhúng được triển khai trong OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Trình phân tích cú pháp đẹp trong OCaml không có bản soạn sẵn.
  • 115
  • MIT

coq-serapi

Sân chơi giao thức Coq với việc thử nghiệm Se(xp) các cấu trúc bên trong..
  • 114
  • GNU General Public License v3.0

streaming

Tóm tắt phát trực tuyến nhanh, an toàn và có thể tổng hợp được. (bởi odis-phòng thí nghiệm).
  • 105
  • ISC

sqlite3-ocaml

OCaml liên kết với cơ sở dữ liệu SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Kiểu dữ liệu trừu tượng trình lặp đơn giản, nhằm lặp lại hiệu quả trên các bộ sưu tập trong khi thực hiện một số phép biến đổi. (bởi c-cube).
  • 102
  • BSD 2-clause "Simplified"