DkML Native
v2.1.6DkML, a Windows-friendly distribution of OCaml.
Download
Choose the file for your device below.
Update confidence: High
Latest release 2.1.6Several positive signals and no warning.
- Released days ago: 465.
- No newer version was withdrawn.
- Every file has a checksum published by the publisher.
- Signatures could not be checked.
- No open report about this release.
- No vulnerability feed for this software.
- Based on stored facts about this release; it is a guide, not a guarantee.
- Latest
- 2.1.6
- Licence
- Open source
- Verification
- SHA-256
- Platforms
- Windows
About DkML Native
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
- Platforms
- Windows
- Licence
- Open source — source code is public under an open-source licence; free to use, study and share.
- Links
- Official website
Official downloads
· via the WinGet repository
| File | Size | Verification | |
|---|---|---|---|
|
Windows · x64 · EXE
Best for you
setup64nu.exe — gitlab.com
|
— |
00a43d598cb287cdfb677d17f35838a5368d0f3a49345d05462443203bba7baf
SHA-256 · published by the publisher / package manifest
Scan pending
Signature not verified
|
Download Not scanned |
Clicking “Download” takes you straight to the file on the publisher's official server. Verify the SHA-256 before running it: on Windows «Get-FileHash file», on macOS / Linux «shasum -a 256 file».
Install guide
The best way to install, update and remove this program on your system, from the official source.
winget install --id Diskuv.OCaml --exact --source wingetwinget upgrade --id Diskuv.OCaml --exact --source wingetwinget uninstall --id Diskuv.OCaml --exactchoco install ocaml -ychoco upgrade ocaml -ychoco uninstall ocaml -yChocolatey community packages are maintained by volunteers; WinGet is preferred when available.
The command is copied without the prompt sign.
Security & project health
Security
57How trustworthy the source and files are: verified publisher, checksums, HTTPS, official host, signature, scan, links and known vulnerabilities.
-
Verified publisher0/20
-
SHA-256 checksums15/15
-
HTTPS downloads10/10
-
Official download host0/10
-
Code signature5/10
-
File scan7/15
-
Working links5/5
-
No open vulnerabilities15/15
Health
38Is the project alive? Release recency and cadence, community, maintenance status and data completeness.
-
Recent release8/35
-
Releases in the last 12 months0/20
-
Community10/20
-
Actively maintained15/15
-
Complete information5/10
Known vulnerabilities
Vulnerability tracking is not configured for this program yet.
Alternatives to DkML Native
Ollama
Ollama Inc.
Run AI models locally
Notepad++
Notepad++ Team
Lightweight text and code editor for Windows
ChangeRig
RigSmith
Changesets: capture intent, then version across every ecosystem
Dr.Explain
Indigo Byte Systems, LLC
Help authoring tool to quickly create online manuals, help files, user guides and documentation.
User reviews
No reviews yet — be the first.
DkML Native
From the official source · gitlab.com
