Библиотеки, написанные на 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 для 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 — это бесплатное (как в случае со свободой слова) программное обеспечение для генеалогии с веб-интерфейсом, созданное Даниэлем де Роглодром.
  • 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

Учебник по многоядерному параллельному программированию 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 для 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

😎ТТ.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Виртуальная машина брандмауэра Mirage для QubesOS.
  • 195

c2bf

Компилятор с C на brainfuck.
  • 194
  • GNU General Public License v3.0 only