Biblioteke napisane u OCamlu
bamboo
Bambus pogledajte https://github.com/cornellblockchain/bamboo (autor pirapira).
- 318
- Apache License 2.0
yojson
Niska razina JSON analize i knjižnica lijepog ispisa za OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Kompozitna JSON biblioteka za kodiranje/dekodiranje za BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb je besplatan (kao u slobodnom govoru) genealoški softver s web sučeljem kojega je stvorio Daniel de Rauglaudre..
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Kooperativni pristup relacijskim podacima.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Udžbenik o višejezgrenom OCaml paralelnom programiranju s domainslibom.
- 252
- ISC
scilla
Scilla - jezik srednje razine pametnog ugovora (od Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Ekstrakcija programa Coq u Rust. Cijelo stablo je na izvornoj bazi Coq koda..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Čisti OCaml regularni izrazi, s podrškom za nizove u stilu Perla i POSIX-a.
- 206
- GNU General Public License v3.0
extprot
extprot: proširivi binarni protokoli za međujezičnu komunikaciju i dugoročnu serijalizaciju.
- 203
- GNU General Public License v3.0
plotkicadsch
Ovaj projekt ima za cilj mogućnost izvoza Kicad Sch datoteka u strukturirane slikovne datoteke (autor jnavila).
- 201
- GNU General Public License v3.0