Библиотеки, написани на OCaml

sihl

Модулна функционална уеб рамка.
  • 339
  • MIT

ocaml-ctypes

Библиотека за свързване към C библиотеки, използвайки чист OCaml.
  • 337
  • MIT

notty

Декларативни терминални графики за OCaml (от pqwy).
  • 323
  • ISC

bamboo

Бамбук вижте https://github.com/cornellblockchain/bamboo (от pirapira).
  • 318
  • Apache License 2.0

bonsai

Библиотека за изграждане на динамични уеб приложения, използвайки Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Visual Studio Code разширение за OCaml.
  • 298
  • ISC

soupault

Генератор на статичен уебсайт, базиран на дървовидно пренаписване на HTML елементи.
  • 294
  • MIT

ocaml-h2

Реализация на HTTP/2, написана на чист OCaml.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Покритие на код за OCaml и ReScript.
  • 283
  • MIT

yojson

Библиотека за разбор на JSON на ниско ниво и красив печат за OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Композиционна библиотека за кодиране/декодиране на JSON за BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Експериментална уеб рамка за ReasonML & OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb е безплатен (както в свободата на словото) генеалогичен софтуер с уеб интерфейс, създаден от Daniel de Rauglaudre.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

OCaml ядро ​​за преносим компютър Jupyter (IPython).
  • 258
  • MIT

1ml

1ML прототип интерпретатор.
  • 255
  • Apache License 2.0

ocaml-caqti

Кооперативен достъп до релационни данни.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Урок за паралелно програмиране на Multicore OCaml с domainslib.
  • 252
  • ISC

bsb-native

Изградете система за OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Език на средно ниво на интелигентен договор (от Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

REST инструментариум за OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

междуплатформен многомрежов p2p демон.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Официална проверка за OCaml.
  • 215
  • MIT

sedlex

OCaml lexer генератор за Unicode.
  • 212
  • MIT

coq2rust

Извличане на програма Coq към Rust. Цялото дърво е на базата на оригиналния код на Coq..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Чисти OCaml регулярни изрази, с поддръжка на низове в стил Perl и POSIX.
  • 206
  • GNU General Public License v3.0

extprot

extprot: разширяеми двоични протоколи за междуезична комуникация и дългосрочна сериализация.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Този проект има за цел да може да експортира Kicad Sch файлове в структурирани картинни файлове (от jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Защитна стена на Mirage VM за QubesOS.
  • 195

c2bf

Компилатор от C до мозъка.
  • 194
  • GNU General Public License v3.0 only