Knihovny napsané v OCamlu

sihl

Modulární funkční webový rámec.
  • 339
  • MIT

ocaml-ctypes

Knihovna pro vazbu na C knihovny pomocí čistého OCaml.
  • 337
  • MIT

notty

Deklarativní terminálová grafika pro OCaml (od pqwy).
  • 323
  • ISC

bamboo

Bambus viz https://github.com/cornellblockchain/bamboo (od pirapira).
  • 318
  • Apache License 2.0

bonsai

Knihovna pro vytváření dynamických webových aplikací pomocí Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Rozšíření kódu Visual Studio pro OCaml.
  • 298
  • ISC

soupault

Statický generátor webových stránek založený na přepisování stromu elementů HTML.
  • 294
  • MIT

ocaml-h2

Implementace HTTP/2 napsaná v čistém OCaml.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Pokrytí kódu pro OCaml a ReScript.
  • 283
  • MIT

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

re-web

Experimentální webový rámec pro ReasonML a OCaml.
  • 264
  • MIT

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-jupyter

Jádro OCaml pro notebook Jupyter (IPython).
  • 258
  • MIT

1ml

Prototypový interpret 1ML.
  • 255
  • Apache License 2.0

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

bsb-native

Sestavte systém pro OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla – jazyk pro střední úroveň inteligentních kontraktů (od Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Sada nástrojů REST pro OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

multiplatformní multi-síťový p2p démon.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Formální ověření pro OCaml.
  • 215
  • MIT

sedlex

OCaml lexer generátor pro Unicode.
  • 212
  • MIT

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

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Mirage firewall VM pro QubesOS.
  • 195

c2bf

Kompilátor z C do brainfuck.
  • 194
  • GNU General Public License v3.0 only