Knižnice napísané v OCamle

sihl

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

ocaml-ctypes

Knižnica na väzbu na knižnice C s použitím čistého OCaml.
  • 337
  • MIT

notty

Deklaratívna terminálová grafika pre OCaml (od pqwy).
  • 323
  • ISC

bamboo

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

bonsai

Knižnica na vytváranie dynamických webových aplikácií pomocou Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Rozšírenie kódu Visual Studio pre OCaml.
  • 298
  • ISC

soupault

Statický generátor webových stránok založený na prepisovaní stromu prvkov HTML.
  • 294
  • MIT

ocaml-h2

Implementácia HTTP/2 napísaná v čistom OCaml.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Pokrytie kódu pre OCaml a ReScript.
  • 283
  • MIT

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

re-web

Experimentálny webový rámec pre ReasonML a OCaml.
  • 264
  • MIT

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

Jadro OCaml pre notebook Jupyter (IPython).
  • 258
  • MIT

1ml

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

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

bsb-native

Zostavte systém pre OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla – jazyk inteligentnej zmluvy na strednej úrovni (od Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Sada nástrojov REST pre OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

multiplatformový multi-sieťový p2p démon.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Formálne overenie pre OCaml.
  • 215
  • MIT

sedlex

Generátor lexerov OCaml pre Unicode.
  • 212
  • MIT

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

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Mirage firewall VM pre QubesOS.
  • 195

c2bf

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