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

incremental

Библиотека для инкрементных вычислений.
  • 780
  • MIT

utop

Универсальный верхний уровень для OCaml.
  • 774
  • GNU General Public License v3.0

ocaml-multicore

Многоядерный OCaml.
  • 758
  • GNU General Public License v3.0

genType

Автоматическое создание идиоматических привязок между Reason и JavaScript: либо ванильные, либо напечатанные с помощью TypeScript/FlowType..
  • 756
  • MIT

opium

Sinatra как веб-инструментарий для OCaml.
  • 738
  • MIT

austral

Системный язык с линейными типами и безопасностью на основе возможностей.
  • 735
  • Apache License 2.0

base

Стандартная библиотека для OCaml (от janestreet).
  • 709
  • MIT

ocaml-cohttp

Библиотека OCaml для HTTP-клиентов и серверов, использующих Lwt или Async.
  • 636
  • GNU General Public License v3.0

lwt

Обещания OCaml и параллельный ввод-вывод.
  • 630
  • MIT

ocaml-lsp

Реализация протокола OCaml Language Server.
  • 613
  • GNU General Public License v3.0

ocaml-effects-tutorial

Параллельное программирование с обработчиками эффектов.
  • 609
  • MIT

angstrom

Комбинаторы парсеров, созданные для скорости и эффективности использования памяти.
  • 562
  • GNU General Public License v3.0

ocamlformat

Автоформатер для кода OCaml.
  • 538
  • MIT

hardcaml

Hardcaml — это библиотека OCaml для проектирования оборудования.
  • 534
  • MIT

httpaf

Высокопроизводительный, экономичный и масштабируемый веб-сервер, написанный на OCaml.
  • 525
  • GNU General Public License v3.0

batteries-included

Батарейки в комплекте.
  • 484
  • GNU General Public License v3.0

0install

основной пакет 0install.
  • 447
  • GNU Lesser General Public License v3.0 only

bolt

Bolt — это язык со встроенной свободой от гонки данных! (по мукул-рати).
  • 445
  • MIT

ocaml-containers

Облегченное модульное расширение стандартной библиотеки, строковая библиотека и интерфейсы к различным библиотекам (unix, threads и т. д.) Лицензия BSD.
  • 445
  • BSD 2-clause "Simplified"

vult

Vult — это транскомпилятор, хорошо подходящий для написания высокопроизводительного кода DSP.
  • 432
  • GNU General Public License v3.0

min-caml

перенесено с https://sourceforge.net/p/min-caml/code/.
  • 429
  • GNU General Public License v3.0

eioio

Прямой ввод-вывод на основе эффектов для многоядерного OCaml.
  • 424
  • GNU General Public License v3.0

LinearML

Функциональный язык для параллельного программирования.
  • 416
  • GNU General Public License v3.0

motoko

Простой язык высокого уровня для написания канистр Internet Computer.
  • 412
  • Apache License 2.0

ppx_deriving

Генерация кода на основе типов для OCaml.
  • 392
  • MIT

ocaml-torch

Привязки OCaml для PyTorch.
  • 388
  • Apache License 2.0

effects-examples

Примеры, иллюстрирующие использование алгебраических эффектов в Multicore OCaml.
  • 364
  • ISC

karamel

KaRaMeL — это инструмент для преобразования низкоуровневых F*-программ в читаемый код C.
  • 360
  • Apache License 2.0

incr_dom

Библиотека для создания динамических веб-приложений с использованием Js_of_ocaml..
  • 357
  • MIT

lambdasoup

Функциональная очистка и переписывание HTML с помощью CSS в OCaml.
  • 355
  • MIT