Bibliotek skrivna i OCaml

sihl

  • 339
  • MIT

ocaml-ctypes

  • 337
  • MIT

notty

  • 323
  • ISC

bamboo

Bambu se https://github.com/cornellblockchain/bamboo (av pirapira).
  • 318
  • Apache License 2.0

bonsai

  • 305
  • MIT

vscode-ocaml-platform

  • 298
  • ISC

soupault

  • 294
  • MIT

ocaml-h2

  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

  • 283
  • MIT

yojson

  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Experimentellt webbramverk för ReasonML & OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb är en gratis (som i yttrandefrihet) släktforskningsprogram med ett webbgränssnitt skapat av Daniel de Rauglaudre.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

  • 258
  • MIT

1ml

  • 255
  • Apache License 2.0

ocaml-caqti

Kooperativtrådad åtkomst till relationsdata.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Handledning om multicore OCaml parallell programmering med domainslib.
  • 252
  • ISC

bsb-native

  • 244
  • GNU General Public License v3.0

scilla

  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

  • 222
  • GNU General Public License v3.0

mldonkey

  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Formell verifiering för OKaml.
  • 215
  • MIT

sedlex

  • 212
  • MIT

coq2rust

  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

  • 206
  • GNU General Public License v3.0

extprot

  • 203
  • GNU General Public License v3.0

plotkicadsch

Detta projekt syftar till att kunna exportera Kicad Sch-filer till strukturerade bildfiler (av jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

  • 201
  • Apache License 2.0

qubes-mirage-firewall

  • 195

c2bf

Kompilator från C till brainfuck.
  • 194
  • GNU General Public License v3.0 only