Knižnice napísané v OCamle
bamboo
Bambus pozri https://github.com/cornellblockchain/bamboo (od pirapira).
- 318
- Apache License 2.0
yojson
Nízkoúrovňová analýza JSON a knižnica na peknú tlač pre OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Kompozičná knižnica kódovania/dekódovania JSON pre BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb je bezplatný (ako v slobodnom prejave) genealogický softvér s webovým rozhraním, ktoré vytvoril Daniel de Rauglaudre.
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Kooperatívny vláknový prístup k relačným údajom.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Návod na viacjadrové paralelné programovanie OCaml s domainslib.
- 252
- ISC
scilla
Scilla – jazyk inteligentnej zmluvy na strednej úrovni (od Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Extrakcia programu Coq to Rust. Celý strom je na originálnej kódovej základni Coq..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Čisté regulárne výrazy OCaml s podporou reťazcov v štýle Perl a POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: rozšíriteľné binárne protokoly pre medzijazykovú komunikáciu a dlhodobú serializáciu.
- 203
- GNU General Public License v3.0
plotkicadsch
Cieľom tohto projektu je umožniť export súborov Kicad Sch do štruktúrovaných obrázkových súborov (od jnavila).
- 201
- GNU General Public License v3.0