تخطَّ إلى المحتوى
Download.sa داونلود السعودية
ثبّت داونلود السعودية على آيفون أو آيباد: اضغط زر المشاركة ثم اختر «إضافة إلى الشاشة الرئيسية».

DkML Native

v2.1.6
Diskuv, Inc.

توزيعة من لغة OCaml مناسبة لنظام Windows

مفتوح المصدر الأمان 54 صحة المشروع 38
ويندوز

التنزيل

اختر الملف المناسب لجهازك من القائمة أدناه.

تنزيل لـويندوز

EXE · x64 · — — من gitlab.com

بصمة SHA-256 متوفرة

الثقة في التحديث: مرتفعة

أحدث إصدار 2.1.6

عدة إشارات إيجابية دون أيّ تحذير.

  • الأيام منذ الإصدار: 452.
  • لم يُسحب أيّ إصدار أحدث.
  • لكل ملف قيمة تحقق نشرها الناشر.
  • تعذّر فحص التواقيع.
  • لا يوجد بلاغ مفتوح عن هذا الإصدار.
  • لا يوجد مصدر ثغرات لهذا البرنامج.
  • مبني على حقائق مخزّنة عن هذا الإصدار؛ وهو دليل إرشادي لا ضمان.
متابعة مقارنة أضِف للخطة
الأحدث
2.1.6
الترخيص
مفتوح المصدر
التحقق
SHA-256
المنصات
ويندوز

عن ⁨DkML Native⁩

The DkML distribution is an open-source set of software that supports
software development in pure OCaml. DkML's strengths are its:

✓ full compatibility with OCaml standards like Opam, Dune and ocamlfind
✓ laser focus on "native" development (desktop software, mobile apps and
embedded software) through support for the standard native compilers like
Visual Studio and Xcode
✓ ease-of-use through simplified installers and simple productivity commands;
high school students should be able to use it
✓ security through reproducibility, versioning and from-source builds

There are two categories of programs installed by this DkML package:

1. "Immediate" programs that manipulate OCaml bytecode or source code:
* `utop`, `ocamlc`, `ocaml`, `ocamlrun`, `ocamlformat`, `ocamllsp`, `ocamllex`,
`dkml` and `with-dkml`
2. "Shim" programs that manipulate OCaml native code:
* `opam`

The shim programs have prerequisites. You should install them before you run
the shim programs, although if you forget the programs will tell you what you
need to install. The prerequisites are:

* Git. If you don't have this, install Git for Windows with:
winget install Git.Git
* Visual Studio Enterprise/Professional/Community/Build Tools 2019 or 2022 in a directory
without spaces or parentheses. For example, "C:\Program Files (x86)\VisualStudio" won't
work. If you don't have Visual Studio, install it with:
winget install Microsoft.VisualStudio.2022.BuildTools --override "--wait --passive --installPath C:\VS17 --addProductLang En-us --add Microsoft.VisualStudio.Workload.VCTools --add Microsoft.VisualStudio.Component.VC.14.38.17.8.x86.x64 --includeRecommended"

The DkML package will experience problems if you have a space in your username
(ex. C:\Users\Jane Smith).

These alternatives may be better depending on your use case:

* Developing in a Javascript first environment? Have a look at Esy and Reason
* Developing operating system kernels? Have a look at Mirage OS
* Develop
المنصات
ويندوز
الترخيص
مفتوح المصدر — شيفرته المصدرية منشورة بترخيص مفتوح المصدر؛ يمكن استخدامه ودراسته ومشاركته مجانًا.

التنزيلات الرسمية

الإصدار 2.1.6 · صدر في 5 أغسطس 2025 · عبر مستودع WinGet

مصدر الإصدار
الملفالحجمالتحقق
ويندوز · x64 · EXE الأنسب لك
setup64nu.exe — gitlab.com
 —
00a43d598cb287cdfb677d17f35838a5368d0f3a49345d05462443203bba7baf
SHA-256 · منشورة من الناشر / ملف بيان الحزمة
بانتظار الفحص لم يُتحقق من التوقيع
تنزيل لم يُفحص

زر «تنزيل» ينقلك مباشرة إلى الملف على خادم الناشر الرسمي. تحقّق من بصمة SHA-256 قبل التشغيل: في ويندوز «Get-FileHash file» وفي ماك أو لينكس «shasum -a 256 file».

دليل التثبيت

أفضل طريقة لتثبيت البرنامج وتحديثه وإزالته على نظامك من المصدر الرسمي.

ويندوز
موصى بهWinGet
المصدر: winget community repository (Microsoft)
التثبيت
winget install --id Diskuv.OCaml --exact --source winget
التحديث
winget upgrade --id Diskuv.OCaml --exact --source winget
الإزالة
winget uninstall --id Diskuv.OCaml --exact
طريقة بديلةChocolatey
المصدر: community.chocolatey.org
التثبيت
choco install ocaml -y
التحديث
choco upgrade ocaml -y
الإزالة
choco uninstall ocaml -y

حزم Chocolatey المجتمعية يصونها متطوعون؛ يُفضَّل WinGet عند توفره.

الأمان وصحة المشروع

ملف شبكة الثقة لبرنامج DkML Native: المستويات الموثَّقة 0 من 5

الأمان

54

مدى موثوقية المصدر والملفات: ناشر موثّق، بصمات التحقق، HTTPS، الخادم الرسمي، التوقيع الرقمي، الفحص، سلامة الروابط والثغرات المعروفة.

  • ناشر موثّق0/20
  • بصمات SHA-25615/15
  • تحميل عبر HTTPS10/10
  • خادم تحميل رسمي0/10
  • التوقيع الرقمي5/10
  • فحص الملفات7/15
  • سلامة الروابط2/5
  • خلوّه من الثغرات المفتوحة15/15

صحة المشروع

38

هل المشروع حيّ؟ حداثة الإصدارات وتواترها، المجتمع، حالة الصيانة واكتمال المعلومات.

  • حداثة آخر إصدار8/35
  • الإصدارات خلال 12 شهرًا0/20
  • المجتمع10/20
  • الصيانة النشطة15/15
  • اكتمال المعلومات5/10

الثغرات المعروفة

لم تُفعَّل متابعة الثغرات لهذا البرنامج بعد.

بدائل ⁨DkML Native⁩

عرض الكل

ChangeRig

RigSmith

64

أداة سطر أوامر لتسجيل التغييرات وإدارة الإصدارات عبر لغات برمجة متعددة

مفتوح المصدر v1.23.0

Visual Studio Code

Microsoft Corporation

87

محرر الأكواد الأكثر استخدامًا لدى المطورين

مجاني v1.144.0

Notepad++

Notepad++ Team

87

محرر نصوص وأكواد خفيف لويندوز

مفتوح المصدر v8.9.8.1

Git

Git for Windows Project

87

نظام التحكم بالإصدارات الأشهر

مفتوح المصدر v2.56.0.windows

تقييمات المستخدمين

لا توجد تقييمات بعد — كن أول من يقيّم.

سجّل الدخول لكتابة تقييم