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

smart-contracts

Библиотека от интелигентни договори (от oxheadalpha).
  • 100
  • MIT

coq-lsp

Visual Studio Code Extension и езиков сървърен протокол за 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 Tool Kit.
  • 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. (от fraidev).
  • 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

Unikernels на MirageOS (от roburio).
  • 49

prometheus

OCaml библиотека за отчитане на показатели към сървър на Prometheus (от mirage).
  • 48
  • Apache License 2.0

ocaml-grpc

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

sexp

S-expression швейцарско ножче.
  • 41
  • MIT

obuilder

Експериментална алтернатива за "изграждане на докери", използваща btrfs/zfs моментни снимки.
  • 40
  • Apache License 2.0

VIBES

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

otoml

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

illuaminate

Много WIP статичен анализ за Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

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

bondi

изходния код за езика за програмиране bondi.
  • 38
  • MIT