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`
Mô tả của nhà phát hành (Tiếng Anh)
DkML Native là gì?
DkML Native của Diskuv, Inc. là phần mềm Windows mã nguồn mở trong danh mục IDE và trình soạn thảo mã.
Cài đặt và yêu cầu hệ thống
Nhà phát hành cung cấp bộ cài EXE cho hệ thống 64-bit. Dung lượng bộ cài chính: 288,4 MB. Yêu cầu Windows 10 1903 trở lên. Có thể cài đặt im lặng bằng các tham số được nêu trong tài liệu của bộ cài.
Cập nhật và lịch sử phiên bản
Phiên bản mới nhất là 2.1.6, phát hành ngày 5 tháng 8, 2025. Lịch sử phiên bản bắt đầu từ 28 tháng 12, 2022 gồm 7 bản phát hành, tất cả đều dẫn đến tệp chính thức. Trung bình có khoảng 2,7 bản phát hành mỗi năm. Bản cập nhật gần nhất đã cách đây hơn một năm.
Ưu điểm / Nhược điểm
Ưu điểm
- Mã nguồn mở: ai cũng có thể xem và tự biên dịch
- Có tài liệu về cài đặt im lặng
Nhược điểm
- Chưa có bản ARM64 gốc
- Hơn một năm chưa có bản cập nhật
Tóm lại: DkML Native là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit, thuộc nhóm IDE và trình soạn thảo mã. Tần suất cập nhật đã chậm lại. Quản trị viên có thể triển khai tự động, không cần thao tác.
Tải DkML Native có an toàn không?
- Tệp được cung cấp từ gitlab.com, tên miền của chính nhà phát hành
- Liên kết tải về dùng HTTPS
- Có công bố mã SHA256 để kiểm tra tệp:
00A43D598CB287CDFB677D17F35838A5368D0F3A49345D05462443203BBA7BAF· Mở báo cáo VirusTotal cho mã băm này - Liên kết phản hồi ở lần kiểm tra gần nhất (22 tháng 10, 2026)
- Mã nguồn được công khai
- ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài
Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows
Phiên bản gần đây
Tất cả 7 phiên bản ›7 phiên bản trong 3 năm · khoảng 2,7 bản mỗi năm
| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 2.1.6Mới nhất | 5 tháng 8, 2025 | 288,4 MB | 64-bit EXE |
| 2.1.3 | 11 tháng 9, 2024 | — | 64-bit EXE |
| 2.1.2 | 22 tháng 8, 2024 | — | 64-bit EXE |
| 2.1.1 | 9 tháng 5, 2024 | — | 64-bit EXE |
| 2.1.0 | 2 tháng 12, 2023 | — | 64-bit EXE |
| 1.2.0 | 25 tháng 1, 2023 | — | 64-bit EXE |
| 1.1.0 | 28 tháng 12, 2022 | — | 64-bit EXE |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›winget install --id Diskuv.OCaml -esetup64nu.exe --ci --quiet --color=neverTệp chương trình (.exe): dk.exe, dkml.exe, ocaml.exe, ocamlc.exe, ocamldebug.exe, ocamlrun.exe
Hướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm
Thông tin
- Nhà phát hành
- Diskuv, Inc.
- Danh mục
- IDE và trình soạn thảo mã
- Giấy phép
- Apache License, Version 2.0
- Giá
- Miễn phí
- Yêu cầu
- Windows 11 / 10 (Windows 10 1903+)
- Kiến trúc
- 64-bit
- Loại bộ cài
- EXE
- Phiên bản
- 2.1.6
- Ngày phát hành
- 5 tháng 8, 2025
- Ngày thêm vào danh mục
- 30 tháng 12, 2022
- Số phiên bản
- 7
- Số lần cập nhật / năm
- 2,7
- Trang chủ
- diskuv.com
- winget ID
- Diskuv.OCaml
Đánh giá và nhận xét
Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.
Phần mềm thay thế DkML Native
Xem tất cả ›-
Mã nguồn mở705,1 N ↓ -
Mã nguồn mở285,2 N ↓ -
Mã nguồn mở49,7 N ↓ -
Mã nguồn mở4,9 Tr ↓ -
Mã nguồn mở88,8 N ↓ -
Mã nguồn mở394,5 N ↓ -
Mã nguồn mở12,3 N ↓ -
Mã nguồn mở79,2 N ↓
Câu hỏi thường gặp
DkML Native có miễn phí không?
Có. DkML Native là phần mềm mã nguồn mở theo giấy phép Apache License, Version 2.0.
Tải DkML Native có an toàn không?
Tệp được tải từ gitlab.com, tên miền thuộc về nhà phát hành; ExeAtlas không lưu trữ và không chỉnh sửa tệp. Hãy so sánh mã SHA256 của tệp đã tải với mã hiển thị trên trang này, hoặc mở báo cáo VirusTotal cho mã băm đó.
Cài đặt DkML Native bằng winget như thế nào?
Mở PowerShell hoặc Windows Terminal và chạy lệnh winget hiển thị trên trang này. winget sẽ tải bộ cài chính thức và kiểm tra mã SHA256 trước khi chạy.
DkML Native có hỗ trợ cài đặt im lặng không?
Có. Trang cài đặt im lặng liệt kê lệnh chính xác cho từng bộ cài.
DkML Native chạy trên những phiên bản Windows nào?
Bộ cài yêu cầu Windows 10 1903 trở lên và có bản cho 64-bit.
DkML Native có chạy trên máy ARM (Windows on Arm) không?
Chưa có bản ARM64; Windows 11 on Arm có thể chạy bản 64-bit thông qua giả lập.
Tải phiên bản cũ của DkML Native ở đâu?
Trang phiên bản liệt kê toàn bộ 7 phiên bản, từ 28 tháng 12, 2022, kèm liên kết đến tệp cài đặt chính thức.
Có những phần mềm nào thay thế DkML Native?
RStudio, OpenCode, Haxe, Node.js (LTS) và Apache NetBeans. Trang phần mềm thay thế so sánh các lựa chọn này.