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

redtt

"بين الظلام والفجر ، يرتفع مكعب أحمر!": مساعد إثبات لنظرية النوع المكعب الديكارتي.

194
Apache License 2.0

FaCT

لغة برمجة مرنة ومستمرة الوقت.

190
BSD 3-clause "New" or "Revised"

async

مكتبة التنفيذ غير المتزامن لـ Jane Street Capital (بواسطة janestreet).

182
MIT

ocaml5-tutorial

برنامج تعليمي عملي حول ميزات التوازي الجديدة في OCaml 5.

182
MIT

morbig

محلل ثابت لـ POSIX Shell.

181
GNU General Public License v3.0

C11parser

محلل C89 / C90 / C99 / C11 / C18 صحيح مكتوب باستخدام Menhir و OCaml.

174
GNU General Public License v3.0

patoline

نظام التنضيد باتولين.

173
GNU General Public License v3.0 only

dometyl-keyboard

مولد حدودي لتصميم لوحات المفاتيح المقعرة والمريحة والمقسمة والمكتوبة بلغة OCAML.

170
GNU Affero General Public License v3.0

drom عبارة عن غلاف فوق opam / dune في محاولة لتوفير تجربة مستخدم تشبه البضائع. يمكن استخدامه لإنشاء مشاريع OCaml كاملة مع وثائق sphinx و odoc. لديها معرفة محددة بـ Github وستنشئ ملفات لصفحات Github Actions CI و Github..

165
GNU General Public License v3.0

mlang

مترجم للغة M ، يستخدم لحساب ضريبة الدخل لدافعي الضرائب الفرنسيين.

160
GNU General Public License v3.0 only

lablqml

التواصل بين Qt / QML مع OCaml. يُعرف رسميًا باسم Lablqt.

158
GNU Lesser General Public License v3.0 only

supermin

أداة لإنشاء أجهزة فائقة الدقة (تسمى سابقًا febootstrap). من فضلك لا تستخدم GITHUB لقضايا أو طلبات التراجع. راجع موقع الويب لمعرفة كيفية الإبلاغ عن خطأ أو اتصل بنا. http://libguestfs.org.