Knjižnice, napisane v OCamlu
bamboo
Bamboo glejte https://github.com/cornellblockchain/bamboo (avtor pirapira).
- 318
- Apache License 2.0
soupault
Generator statičnih spletnih mest, ki temelji na prepisovanju drevesa elementov HTML.
- 294
- MIT
yojson
Knjižnica za razčlenjevanje in lepo tiskanje JSON na nizki ravni za OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Sestavljena knjižnica za kodiranje/dekodiranje JSON za BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb je brezplačna (kot v svobodi govora) genealoška programska oprema s spletnim vmesnikom, ki jo je ustvaril Daniel de Rauglaudre.
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Kooperativni dostop do relacijskih podatkov.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Vadnica o vzporednem programiranju Multicore OCaml z domainslib.
- 252
- ISC
scilla
Scilla – jezik pametne pogodbe na vmesni ravni (avtor Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Ekstrakcija programa Coq v Rust. Celotno drevo je na osnovi originalne kode Coq..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Čisti regularni izrazi OCaml s podporo za nize v slogu Perl in POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: razširljivi binarni protokoli za medjezikovno komunikacijo in dolgoročno serializacijo.
- 203
- GNU General Public License v3.0
plotkicadsch
Cilj tega projekta je omogočiti izvoz datotek Kicad Sch v strukturirane slikovne datoteke (avtor jnavila).
- 201
- GNU General Public License v3.0