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

flow

يضيف كتابة ثابتة إلى JavaScript لتحسين إنتاجية المطورين وجودة الشفرة..

22.0k
MIT

infer

محلل ثابت لـ Java و C و C ++ و Objective-C.

14.2k
MIT

reason

رمز بسيط وسريع وآمن يستفيد من أنظمة JavaScript و OCaml.

9.9k
MIT

semgrep

تحليل ثابت خفيف الوزن للعديد من اللغات. ابحث عن متغيرات الأخطاء ذات الأنماط التي تشبه شفرة المصدر..

8.5k
GNU Lesser General Public License v3.0 only

pyre-check

فحص الأداء لنوع الثعبان..

6.4k
MIT

rescript-compiler

مترجم ReScript..

6.2k
GNU General Public License v3.0

google-drive-ocamlfuse

نظام ملفات FUSE عبر Google Drive.

5.1k
MIT

ocaml

نظام OCaml الأساسي: المجمعين ، نظام التشغيل ، المكتبات الأساسية.

4.6k
GNU General Public License v3.0

coq

Coq هو نظام إدارة إثبات رسمي. يوفر لغة رسمية لكتابة التعريفات الرياضية والخوارزميات والنظريات القابلة للتنفيذ جنبًا إلى جنب مع بيئة للتطوير شبه التفاعلي للبراهين التي يتم فحصها آليًا.

4.3k
GNU Lesser General Public License v3.0 only

Batsh

لغة تجمع بين Bash و Windows Batch.

4.2k

magic-trace

يجمع التتبع السحري ويعرض آثارًا عالية الدقة لما تقوم به العملية.

4.1k
MIT

unison

مزامنة ملف Unison (بواسطة bcpierce00).

3.1k
GNU General Public License v3.0 only

pfff

أدوات لتحليل الكود أو التصورات أو تحويل المصدر للحفاظ على النمط..

2.4k
GNU General Public License v3.0

mirage

MirageOS هو نظام تشغيل مكتبة يقوم بإنشاء وحدات أحادية.

2.2k
ISC

comby

أداة لإعادة كتابة التعليمات البرمجية للبحث الهيكلي واستبدالها تدعم كل لغة..

2.1k
Apache License 2.0

bap

منصة التحليل الثنائي.

1.9k
MIT

mina

مينا هي عملة مشفرة جديدة ذات كتلة سلسلة ثابتة الحجم ، تعمل على تحسين التوسع مع الحفاظ على اللامركزية والأمان. (بواسطة MinaProtocol).

1.8k
Apache License 2.0

bincat

محلل ثابت للشفرة الثنائية ، مع تكامل IDA. يقوم بتحليل القيمة والتلوث ، وإعادة بناء النوع ، والاكتشاف الخالي من الاستخدام بعد الاستخدام والخالي من الضعف.