Knihovny napsané v OCamlu
yojson
Nízkoúrovňová analýza JSON a knihovna pro pěkný tisk pro OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Kompoziční knihovna kódování/dekódování JSON pro BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb je bezplatný (stejně jako ve svobodě projevu) genealogický software s webovým rozhraním vytvořeným Danielem de Rauglaudre.
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Kooperativní vláknový přístup k relačním datům.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Výukový program pro vícejádrové paralelní programování OCaml s domainslib.
- 252
- ISC
scilla
Scilla – jazyk pro střední úroveň inteligentních kontraktů (od Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Extrakce programu Coq to Rust. Celý strom je na originální základně kódu Coq..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Čisté regulární výrazy OCaml s podporou řetězců ve stylu Perl a POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: rozšiřitelné binární protokoly pro mezijazykovou komunikaci a dlouhodobou serializaci.
- 203
- GNU General Public License v3.0
plotkicadsch
Tento projekt si klade za cíl umožnit export souborů Kicad Sch do strukturovaných obrázkových souborů (od jnavila).
- 201
- GNU General Public License v3.0