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
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
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
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
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
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
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"
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
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"