مكتبات مكتوبة بلغة OCaml

sihl

إطار عمل معياري وظيفي للويب.
  • 339
  • MIT

ocaml-ctypes

مكتبة للربط بمكتبات لغة سي باستخدام 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 Code لـ 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 هو برنامج أنساب مجاني (كما هو الحال في حرية التعبير) بواجهة ويب تم إنشاؤها بواسطة Daniel de Rauglaudre.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

نواة OCaml لدفتر Jupyter (IPython).
  • 258
  • MIT

1ml

1 مللي مترجم النموذج الأولي.
  • 255
  • Apache License 2.0

ocaml-caqti

الوصول التعاوني المترابط إلى البيانات العلائقية.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

البرنامج التعليمي حول البرمجة المتوازية Multicore 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

برنامج خفي من نظير إلى نظير متعدد الشبكات عبر الأنظمة الأساسية.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

التحقق الرسمي لـ OCaml.
  • 215
  • MIT

sedlex

مولد OCaml lexer لـ Unicode.
  • 212
  • MIT

coq2rust

استخراج برنامج Coq to Rust. الشجرة بأكملها موجودة على قاعدة كود Coq الأصلية..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

التعابير العادية لـ Pure 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

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

جدار ناري ميراج VM لـ QubesOS.
  • 195

c2bf

المترجم من C إلى المخادعين.
  • 194
  • GNU General Public License v3.0 only