OCamlben írt könyvtárak
bamboo
Bamboo lásd: https://github.com/cornellblockchain/bamboo (a pirapira).
- 318
- Apache License 2.0
yojson
Alacsony szintű JSON-elemzés és szép nyomtatási könyvtár az OCaml számára.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Kompozíciós JSON kódoló/dekódoló könyvtár a BuckleScript számára.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
A GeneWeb egy ingyenes (a szólásszabadsághoz hasonlóan) genealógiai szoftver webes felülettel, amelyet Daniel de Rauglaudre készített.
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Kooperatív szálú hozzáférés a relációs adatokhoz.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Oktatóanyag a többmagos OCaml párhuzamos programozásáról domainslib segítségével.
- 252
- ISC
scilla
Scilla – Intelligens szerződéses középszintű nyelv (készítő: Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Coq to Rust program kitermelés. Az egész fa az eredeti Coq kódalapon van.
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Tiszta OCaml reguláris kifejezések Perl és POSIX stílusú karakterláncok támogatásával.
- 206
- GNU General Public License v3.0
extprot
extprot: bővíthető bináris protokollok többnyelvű kommunikációhoz és hosszú távú szerializáláshoz.
- 203
- GNU General Public License v3.0
plotkicadsch
Ennek a projektnek az a célja, hogy a Kicad Sch fájlokat strukturált képfájlokba tudja exportálni (a jnavila).
- 201
- GNU General Public License v3.0