Beliebt: Daten aktualisiert am 26. Oktober 2026

Kategorien

Internet1.355
Kommunikation321
Audio & Video898
Grafik & Design539
Büro & Produktivität1.120
Entwicklertools3.132
KI-Tools527
Sicherheit & Datenschutz385
Systemtools3.113
Spiele523
Bildung & Wissenschaft239
Netzwerk & IT284

DkML Native 2.1.6 für Windows herunterladen

DkML, a Windows-friendly distribution of OCaml.

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`

Beschreibung des Herstellers (Englisch)

Was ist DkML Native?

DkML Native von Diskuv, Inc. ist quelloffene Software für Windows (Kategorie: IDEs & Code-Editoren).

Installation und Systemvoraussetzungen

Der Hersteller bietet Setups für 64-Bit an (EXE). Das Haupt-Setup ist 288,4 MB groß. Vorausgesetzt wird Windows 10 1903 oder neuer. Mit den dokumentierten Parametern des Installers ist eine stille Installation (Silent Install) möglich.

Updates und Versionsverlauf

Aktuell ist Version 2.1.6, veröffentlicht am 5. August 2025. Erfasst sind 7 Releases, das älteste vom 28. Dezember 2022; alle verweisen auf die offiziellen Dateien. Das entspricht etwa 2,7 Releases pro Jahr. Das letzte Update liegt mehr als ein Jahr zurück.

Vorteile / Nachteile

Vorteile

  • Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
  • Dokumentierte stille Installation

Nachteile

  • Keine native ARM64-Version
  • Seit über einem Jahr kein Update

Kurz gesagt: DkML Native ist ein quelloffenes Tool aus der Kategorie „IDEs & Code-Editoren“ für PCs mit 64-Bit. Die Updates sind seltener geworden. Administratoren können es unbeaufsichtigt verteilen.

Ist der Download von DkML Native sicher?

  • Die Datei kommt von gitlab.com, einer Domain des Herstellers
  • Der Download-Link verwendet HTTPS
  • Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen: 00A43D598CB287CDFB677D17F35838A5368D0F3A49345D05462443203BBA7BAF · VirusTotal-Bericht zu diesem Hash öffnen
  • Der Link hat bei der letzten Prüfung geantwortet (22. Oktober 2026)
  • Der Quellcode ist öffentlich
  • ExeAtlas hostet, verpackt oder verändert keine Installer

Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen

Neueste Versionen

Alle 7 Versionen ›
2022: 1 1 22 2023: 2 2 23 2024: 3 3 24 2025: 1 1 25

7 Versionen in 3 Jahren · etwa 2,7 pro Jahr

VersionDatumGrößeDateien
2.1.6Aktuell 5. August 2025 288,4 MB 64-Bit EXE
2.1.3 11. September 2024 — 64-Bit EXE
2.1.2 22. August 2024 — 64-Bit EXE
2.1.1 9. Mai 2024 — 64-Bit EXE
2.1.0 2. Dezember 2023 — 64-Bit EXE
1.2.0 25. Januar 2023 — 64-Bit EXE
1.1.0 28. Dezember 2022 — 64-Bit EXE

Installation per Kommandozeile

Silent Install ›
PowerShell
wingetwinget install --id Diskuv.OCaml -e
silentsetup64nu.exe --ci --quiet --color=never

Programmdateien (.exe): dk.exe, dkml.exe, ocaml.exe, ocamlc.exe, ocamldebug.exe, ocamlrun.exe

Passende Anleitung: winget-Anleitung: Programme installieren und updaten

Informationen

Hersteller
Diskuv, Inc.
Kategorie
IDEs & Code-Editoren
Lizenz
Apache License, Version 2.0
Preis
Kostenlos
Voraussetzung
Windows 11 / 10 (Windows 10 1903+)
Architektur
64-Bit
Installer
EXE
Version
2.1.6
Veröffentlicht
5. August 2025
Im Katalog seit
30. Dezember 2022
Erfasste Versionen
7
Updates pro Jahr
2,7
Website
diskuv.com
winget-ID
Diskuv.OCaml

Bewertungen und Rezensionen

–
0 Bewertungen
50
40
30
20
10
Dieses Programm bewerten

Noch keine Rezensionen. Geben Sie die erste Bewertung ab.

Alternativen zu DkML Native

Alle anzeigen ›
  • RStudio2026.10.0+233IDEs & Code-Editoren · Posit Software
    Open Source705.076 ↓
  • OpenCode1.19.4IDEs & Code-Editoren · OpenCode
    Open Source285.188 ↓
  • Haxe4.3.7IDEs & Code-Editoren · Haxe Foundation
    Open Source49.712 ↓
  • Node.js (LTS)24.22.1IDEs & Code-Editoren · Node.js Foundation
    Open Source4,9 Mio. ↓
  • Apache NetBeans31IDEs & Code-Editoren · Apache NetBeans
    Open Source88.824 ↓
  • VSCodium1.140.06880IDEs & Code-Editoren · VSCodium
    Open Source394.488 ↓
  • GDevelop5.6.285IDEs & Code-Editoren · GDevelop Team
    Open Source12.268 ↓
  • Processing4.5.7IDEs & Code-Editoren · Processing Foundation
    Open Source79.176 ↓

Häufige Fragen

Ist DkML Native kostenlos?

Ja. DkML Native ist Open-Source-Software unter der Lizenz Apache License, Version 2.0.

Ist der Download von DkML Native sicher?

Die Datei kommt von gitlab.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.

Wie installiere ich DkML Native mit winget?

Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.

Lässt sich DkML Native still (silent) installieren?

Ja. Die Seite zur stillen Installation nennt für jeden Installer den genauen Befehl.

Welche Windows-Versionen unterstützt DkML Native?

Das Setup setzt Windows 10 1903 oder neuer voraus und ist für 64-Bit erhältlich.

Läuft DkML Native auf ARM (Windows on Arm)?

Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.

Wo kann ich eine ältere Version von DkML Native herunterladen?

Die Versionsseite listet alle 7 Versionen seit 28. Dezember 2022 mit Links zu den offiziellen Installationsdateien.

Welche Alternativen zu DkML Native gibt es?

RStudio, OpenCode, Haxe, Node.js (LTS) und Apache NetBeans. Die Seite mit den Alternativen vergleicht sie.

Diese Seite in anderen Sprachen

Fehler melden

Am beliebtesten in IDEs & Code-Editoren

Alle anzeigen
  1. OpenCodeIDEs & Code-Editoren · OpenCode
  2. RStudioIDEs & Code-Editoren · Posit Software
  3. Node.js (LTS)IDEs & Code-Editoren · Node.js Foundation
  4. Apache NetBeansIDEs & Code-Editoren · Apache NetBeans
  5. VSCodiumIDEs & Code-Editoren · VSCodium
  6. HaxeIDEs & Code-Editoren · Haxe Foundation
  7. ThonnyIDEs & Code-Editoren · Aivar Annamaa
  8. GDevelopIDEs & Code-Editoren · GDevelop Team
  9. mkcertIDEs & Code-Editoren · FiloSottile
  10. ProcessingIDEs & Code-Editoren · Processing Foundation

Mehr von Diskuv, Inc.

Alle anzeigen
  • dkDiskuv, Inc.

Schlagwörter

Teilen