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

smart-contracts

Библиотека смарт-контрактов (от oxheadalpha).
  • 100
  • MIT

coq-lsp

Расширение кода Visual Studio и протокол языкового сервера для Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

Реализация Cap'n Proto RPC.
  • 89
  • GNU General Public License v3.0

ocaml-asp

Алгебраический поэтапный синтаксический анализ для OCaml: типизированный, составной и более быстрый, чем yacc.
  • 87
  • MIT

camlboot

Поэкспериментируйте с тем, как загрузить компилятор OCaml.
  • 84
  • MIT

yocaml

YOCaml — это генератор статических сайтов, в основном написанный на OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 и 3: интерфейс к набору инструментов GIMP.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Генерация функций преобразования S-выражения из определений типов.
  • 76
  • MIT

silk

Язык программирования Silk (автор AjayMT).
  • 75
  • MIT

weidu

WeiDU — программа, используемая для разработки, распространения и установки модификаций для игр на базе Infinity Engine.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Сервер Activitypub в OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Серверный проект Flambda для OCaml.
  • 61

cuite

(зеркало) привязки OCaml к инструментарию Qt..
  • 58
  • MIT

tornado

Tornado — клиент BitTorrent, полностью написанный на OCaml. (от Фрайдева).
  • 57
  • MIT

kalandralang

Язык программирования для рецептов крафта Path of Exile.
  • 54
  • MIT

miragevpn

Самоуверенная реализация протокола OpenVPN.
  • 53

virt-v2v

Virt-v2v конвертирует гостей с иностранных гипервизоров для работы на KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs в OCaml (автор verse-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Реализация матричного сервера в OCaml для MirageOS.
  • 49
  • ISC

unikernels

Уникернелы MirageOS (от roburio).
  • 49

prometheus

Библиотека OCaml для передачи метрик на сервер Prometheus (от Mirage).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

Библиотека gRPC для OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

Швейцарский нож S-образной формы.
  • 41
  • MIT

obuilder

Экспериментальная альтернатива «сборке докеров» с использованием моментальных снимков btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Проверенное, инкрементное, бинарное редактирование с синтезом.
  • 39
  • MIT

otoml

Библиотека синтаксического анализа, манипулирования и красивой печати TOML для OCaml (полностью совместимая с 1.0.0).
  • 39
  • MIT

illuaminate

Очень незавершенный статический анализ для Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Мои решения для AoC 2017 с использованием Nim, OCaml и Python (от narimiran).
  • 38
  • MIT

bondi

исходный код языка программирования bondi.
  • 38
  • MIT