Populares: Dados atualizados em 26 de outubro de 2026

Categorias

Internet1.355
Comunicação321
Áudio e vídeo898
Gráficos e design539
Escritório e produtividade1.120
Programação3.132
Inteligência artificial527
Segurança e privacidade385
Ferramentas do sistema3.113
Jogos523
Educação e ciência239
Redes e TI284

Baixar 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`

Descrição do desenvolvedor (inglês)

O que é DkML Native?

Publicado por Diskuv, Inc., DkML Native é um software de código aberto para Windows que aparece na categoria IDEs e editores de código.

Instalação e requisitos

O desenvolvedor disponibiliza instaladores EXE para Windows 64 bits. O instalador principal tem 288,4 MB. Exige Windows 10 1903 ou mais recente. A instalação silenciosa é possível com os parâmetros documentados do instalador.

Atualizações e histórico de versões

A versão atual é a 2.1.6, lançada em 5 de agosto de 2025. O histórico vai até 28 de dezembro de 2022: 7 versões, todas com link para os arquivos oficiais. Isso dá cerca de 2,7 versões por ano. A última atualização tem mais de um ano.

Pontos positivos / Pontos negativos

Pontos positivos

  • Código aberto: qualquer pessoa pode revisar e compilar o código
  • Instalação silenciosa documentada

Pontos negativos

  • Sem versão nativa ARM64
  • Sem atualização há mais de um ano

Em resumo: DkML Native é um programa de código aberto da categoria IDEs e editores de código, disponível para PCs 64 bits. As atualizações ficaram mais espaçadas. Administradores de TI podem implantá-lo sem interação do usuário.

É seguro baixar DkML Native?

  • O arquivo vem de gitlab.com, o domínio do próprio desenvolvedor
  • O link de download usa HTTPS
  • Há um hash SHA256 publicado para você verificar o arquivo: 00A43D598CB287CDFB677D17F35838A5368D0F3A49345D05462443203BBA7BAF · Abrir o relatório do VirusTotal para este hash
  • O link respondeu na última verificação (22 de outubro de 2026)
  • O código-fonte é público
  • O ExeAtlas não hospeda, encapsula nem modifica instaladores

Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows

Versões recentes

Todas as 7 versões ›
2022: 1 1 22 2023: 2 2 23 2024: 3 3 24 2025: 1 1 25

7 versões em 3 anos · cerca de 2,7 por ano

VersãoDataTamanhoArquivos
2.1.6Atual 5 de agosto de 2025 288,4 MB 64 bits EXE
2.1.3 11 de setembro de 2024 — 64 bits EXE
2.1.2 22 de agosto de 2024 — 64 bits EXE
2.1.1 9 de maio de 2024 — 64 bits EXE
2.1.0 2 de dezembro de 2023 — 64 bits EXE
1.2.0 25 de janeiro de 2023 — 64 bits EXE
1.1.0 28 de dezembro de 2022 — 64 bits EXE

Instalar pela linha de comando

Instalação silenciosa ›
PowerShell
wingetwinget install --id Diskuv.OCaml -e
silentsetup64nu.exe --ci --quiet --color=never

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

Guia relacionado: Como usar o winget: instalar e atualizar programas

Informações

Desenvolvedor
Diskuv, Inc.
Categoria
IDEs e editores de código
Licença
Apache License, Version 2.0
Preço
Grátis
Requisitos
Windows 11 / 10 (Windows 10 1903+)
Arquitetura
64 bits
Instalador
EXE
Versão
2.1.6
Lançamento
5 de agosto de 2025
Adicionado ao catálogo
30 de dezembro de 2022
Versões registradas
7
Atualizações por ano
2,7
Site oficial
diskuv.com
ID do winget
Diskuv.OCaml

Avaliações

–
0 avaliações
50
40
30
20
10
Avalie este programa

Ainda não há avaliações. Seja o primeiro a dar uma nota.

Alternativas para DkML Native

Ver tudo ›
  • RStudio2026.10.0+233IDEs e editores de código · Posit Software
    Código aberto705,1 mil ↓
  • OpenCode1.19.4IDEs e editores de código · OpenCode
    Código aberto285,2 mil ↓
  • Haxe4.3.7IDEs e editores de código · Haxe Foundation
    Código aberto49,7 mil ↓
  • Node.js (LTS)24.22.1IDEs e editores de código · Node.js Foundation
    Código aberto4,9 mi ↓
  • Apache NetBeans31IDEs e editores de código · Apache NetBeans
    Código aberto88,8 mil ↓
  • VSCodium1.140.06880IDEs e editores de código · VSCodium
    Código aberto394,5 mil ↓
  • GDevelop5.6.285IDEs e editores de código · GDevelop Team
    Código aberto12,3 mil ↓
  • Processing4.5.7IDEs e editores de código · Processing Foundation
    Código aberto79,2 mil ↓

Perguntas frequentes

DkML Native é grátis?

Sim. DkML Native é um software de código aberto com licença Apache License, Version 2.0.

É seguro baixar DkML Native?

O download vem de gitlab.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.

Como instalar DkML Native pelo winget?

Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.

Dá para instalar DkML Native em modo silencioso?

Sim. A página de instalação silenciosa traz o comando exato para cada instalador.

Em quais versões do Windows DkML Native funciona?

O instalador exige Windows 10 1903 ou mais recente e está disponível para 64 bits.

DkML Native roda em ARM (Windows on Arm)?

Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.

Onde baixar versões antigas de DkML Native?

A página de versões lista as 7 versões com links para os instaladores oficiais, desde 28 de dezembro de 2022.

Quais são as alternativas para DkML Native?

RStudio, OpenCode, Haxe, Node.js (LTS) e Apache NetBeans. A página de alternativas faz a comparação.

Esta página em outros idiomas

Informar um erro

Mais popular em IDEs e editores de código

Ver tudo
  1. OpenCodeIDEs e editores de código · OpenCode
  2. RStudioIDEs e editores de código · Posit Software
  3. Node.js (LTS)IDEs e editores de código · Node.js Foundation
  4. Apache NetBeansIDEs e editores de código · Apache NetBeans
  5. VSCodiumIDEs e editores de código · VSCodium
  6. HaxeIDEs e editores de código · Haxe Foundation
  7. ThonnyIDEs e editores de código · Aivar Annamaa
  8. GDevelopIDEs e editores de código · GDevelop Team
  9. mkcertIDEs e editores de código · FiloSottile
  10. ProcessingIDEs e editores de código · Processing Foundation

Mais programas de Diskuv, Inc.

Ver tudo
  • dkDiskuv, Inc.

Tags

Compartilhar