Perpustakaan yang ditulis dalam OCaml
bamboo
Bambu lihat https://github.com/cornellblockchain/bamboo (oleh pirapira).
- 318
- Apache License 2.0
yojson
Parsing JSON tingkat rendah dan pustaka pencetakan cantik untuk OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Pustaka encode/decode JSON komposisional untuk BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb adalah perangkat lunak silsilah gratis (seperti dalam kebebasan berbicara) dengan antarmuka web yang dibuat oleh Daniel de Rauglaudre..
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Akses berulir kooperatif ke data relasional.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Tutorial pemrograman paralel Multicore OCaml dengan domainslib.
- 252
- ISC
scilla
Scilla - Bahasa Tingkat Menengah Kontrak Cerdas (oleh Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Ekstraksi program Coq ke Rust. Seluruh pohon ada di basis kode Coq asli..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Ekspresi reguler OCaml murni, dengan dukungan untuk string bergaya Perl dan POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: protokol biner yang dapat diperluas untuk komunikasi lintas bahasa dan serialisasi jangka panjang.
- 203
- GNU General Public License v3.0
plotkicadsch
Proyek ini bertujuan untuk dapat mengekspor file Kicad Sch ke file gambar terstruktur (oleh jnavila).
- 201
- GNU General Public License v3.0