Populares: Datos actualizados el 26 de octubre de 2026

Categorías

Internet1355
Comunicación321
Audio y vídeo898
Gráficos y diseño539
Ofimática y productividad1120
Programación3132
Inteligencia artificial527
Seguridad y privacidad385
Herramientas del sistema3113
Juegos523
Educación y ciencia239
Redes e informática284

Descargar DkML Native 2.1.6 para Windows

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`

Descripción del desarrollador (inglés)

¿Qué es DkML Native?

Detrás de DkML Native está Diskuv, Inc.; se trata de software de código abierto para Windows incluido en la categoría IDE y editores de código.

Instalación y requisitos

El desarrollador ofrece instaladores EXE para Windows de 64 bits. El instalador principal ocupa 288,4 MB. Requiere Windows 10 1903 o posterior. Admite instalación silenciosa con los parámetros documentados del instalador.

Actualizaciones e historial de versiones

La versión actual es la 2.1.6, publicada el 5 de agosto de 2025. El historial llega hasta 28 de diciembre de 2022: 7 versiones, todas enlazadas a los archivos oficiales. Eso supone unas 2,7 versiones al año. Lleva más de un año sin actualizaciones.

Ventajas / Inconvenientes

Ventajas

  • Código abierto: cualquiera puede revisar y compilar el código
  • Instalación silenciosa documentada

Inconvenientes

  • Sin versión nativa para ARM64
  • Más de un año sin actualizaciones

En resumen: DkML Native es un programa de código abierto de la categoría IDE y editores de código, disponible para equipos de 64 bits. Las actualizaciones se han espaciado. Los administradores de sistemas pueden desplegarlo de forma desatendida.

¿Es seguro descargar DkML Native?

  • El archivo se sirve desde gitlab.com, el dominio del propio desarrollador
  • El enlace de descarga usa HTTPS
  • Hay un hash SHA256 publicado para verificar el archivo: 00A43D598CB287CDFB677D17F35838A5368D0F3A49345D05462443203BBA7BAF · Abrir el informe de VirusTotal de este hash
  • El enlace respondió en la última comprobación (22 de octubre de 2026)
  • El código fuente es público
  • ExeAtlas no aloja, envuelve ni modifica instaladores

Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows

Versiones recientes

Las 7 versiones ›
2022: 1 1 22 2023: 2 2 23 2024: 3 3 24 2025: 1 1 25

7 versiones en 3 años · unas 2,7 al año

VersiónFechaTamañoArchivos
2.1.6Última 5 de agosto de 2025 288,4 MB 64 bits EXE
2.1.3 11 de septiembre de 2024 — 64 bits EXE
2.1.2 22 de agosto de 2024 — 64 bits EXE
2.1.1 9 de mayo de 2024 — 64 bits EXE
2.1.0 2 de diciembre de 2023 — 64 bits EXE
1.2.0 25 de enero de 2023 — 64 bits EXE
1.1.0 28 de diciembre de 2022 — 64 bits EXE

Instalar desde la línea de comandos

Instalación silenciosa ›
PowerShell
wingetwinget install --id Diskuv.OCaml -e
silentsetup64nu.exe --ci --quiet --color=never

Archivos de programa (.exe): dk.exe, dkml.exe, ocaml.exe, ocamlc.exe, ocamldebug.exe, ocamlrun.exe

Guía relacionada: Cómo usar winget: instalar y actualizar programas

Información

Desarrollador
Diskuv, Inc.
Categoría
IDE y editores de código
Licencia
Apache License, Version 2.0
Precio
Gratis
Requisitos
Windows 11 / 10 (Windows 10 1903+)
Arquitectura
64 bits
Instalador
EXE
Versión
2.1.6
Fecha de publicación
5 de agosto de 2025
Añadido al catálogo
30 de diciembre de 2022
Versiones registradas
7
Actualizaciones al año
2,7
Sitio web
diskuv.com
ID de winget
Diskuv.OCaml

Valoraciones y opiniones

–
0 valoraciones
50
40
30
20
10
Valorar este programa

Todavía no hay opiniones.

Alternativas a DkML Native

Ver todo ›
  • RStudio2026.10.0+233IDE y editores de código · Posit Software
    Código abierto705,1 mil ↓
  • OpenCode1.19.4IDE y editores de código · OpenCode
    Código abierto285,2 mil ↓
  • Haxe4.3.7IDE y editores de código · Haxe Foundation
    Código abierto49,7 mil ↓
  • Node.js (LTS)24.22.1IDE y editores de código · Node.js Foundation
    Código abierto4,9 M ↓
  • Apache NetBeans31IDE y editores de código · Apache NetBeans
    Código abierto88,8 mil ↓
  • VSCodium1.140.06880IDE y editores de código · VSCodium
    Código abierto394,5 mil ↓
  • GDevelop5.6.285IDE y editores de código · GDevelop Team
    Código abierto12,3 mil ↓
  • Processing4.5.7IDE y editores de código · Processing Foundation
    Código abierto79,2 mil ↓

Preguntas frecuentes

¿Es gratis DkML Native?

Sí. DkML Native es software de código abierto con licencia Apache License, Version 2.0.

¿Es seguro descargar DkML Native?

La descarga procede de gitlab.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.

¿Cómo instalar DkML Native con winget?

Basta con abrir PowerShell o Terminal Windows y ejecutar el comando winget que figura en esta página. winget descarga el instalador oficial y comprueba su hash SHA256 antes de ejecutarlo.

¿Se puede instalar DkML Native en modo silencioso?

Sí. La página de instalación silenciosa recoge el comando exacto para cada instalador.

¿En qué versiones de Windows funciona DkML Native?

El instalador requiere Windows 10 1903 o posterior y está disponible para 64 bits.

¿Funciona DkML Native en ARM (Windows on Arm)?

No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 64 bits mediante emulación.

¿Dónde descargar versiones anteriores de DkML Native?

La página de versiones recoge las 7 versiones con enlaces a sus instaladores oficiales, desde 28 de diciembre de 2022.

¿Qué alternativas hay a DkML Native?

RStudio, OpenCode, Haxe, Node.js (LTS) y Apache NetBeans. La página de alternativas los compara.

Esta página en otros idiomas

Informar de un error

Lo más popular en IDE y editores de código

Ver todo
  1. OpenCodeIDE y editores de código · OpenCode
  2. RStudioIDE y editores de código · Posit Software
  3. Node.js (LTS)IDE y editores de código · Node.js Foundation
  4. Apache NetBeansIDE y editores de código · Apache NetBeans
  5. VSCodiumIDE y editores de código · VSCodium
  6. HaxeIDE y editores de código · Haxe Foundation
  7. ThonnyIDE y editores de código · Aivar Annamaa
  8. GDevelopIDE y editores de código · GDevelop Team
  9. mkcertIDE y editores de código · FiloSottile
  10. ProcessingIDE y editores de código · Processing Foundation

Más programas de Diskuv, Inc.

Ver todo
  • dkDiskuv, Inc.

Etiquetas

Compartir