مكتبات مكتوبة بلغة 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

لغة برمجة الحرير (بواسطة AjayMT).
  • 75
  • MIT

weidu

WeiDU هو برنامج يستخدم لتطوير وتوزيع وتثبيت التعديلات للألعاب على أساس محرك Infinity.
  • 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

تورنادو هو عميل BitTorrent مكتوب بالكامل بلغة OCaml. (بقلم فرايدف).
  • 57
  • MIT

kalandralang

لغة برمجة لوصفات صياغة مسار المنفى..
  • 54
  • MIT

miragevpn

تنفيذ عنيد لبروتوكول OpenVPN.
  • 53

virt-v2v

يحول Virt-v2v الضيوف من برامج Hypervisor الأجنبية للتشغيل على KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs في OCaml (بواسطة الآية مختبر).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

تنفيذ خادم مصفوفة في OCaml لـ MirageOS.
  • 49
  • ISC

unikernels

unikernels MirageOS (بواسطة roburio).
  • 49

prometheus

مكتبة OCaml للإبلاغ عن المقاييس إلى خادم Prometheus (عن طريق السراب).
  • 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

تحليل ثابت جدًا لـ WIP لـ Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

حلولي لـ AoC 2017 ، باستخدام Nim و OCaml و Python (بواسطة narimiran).
  • 38
  • MIT

bondi

كود المصدر للغة برمجة بوندي.
  • 38
  • MIT