Developer Tools
Annual
DkSDK
HTML Tag Icon
DkML

Embed features inside C applications safely and productively using the OCaml programming language

Learn OCaml.
Create command line tools

$109
USD per developer
To purchase:
Free
Get Started »
DkSDK
DkML
Development
OCaml
Checkmark
Checkmark
C
Checkmark
Build Tooling
CMake
Dune and opam
Tier 1 Supported Targets
Windows i686
Checkmark
Windows x64
Checkmark
Checkmark
Linux i686
Checkmark (1)
(2)
Linux x64
Checkmark (1)
(2)
macOS x64
Checkmark
(2)
macOS arm64
Checkmark
(2)
Android ARM32 v7a
Checkmark
Android ARM64 v8a
Checkmark
Android x86-64
Checkmark
FreeBSD
(2)
  • 1. Tier 1 support for Debian 11 “bullseye”. Tier 2 support for Linux distributions that use GLIBC 2.28 released in 2018 or a later GLIBC. musl-based Linux like Alpine is not supported; instead use bullseye-slim for Docker containers
  • 2. Use ocaml.org for Tier 1 support instead of DkML
Logo for Diskuv

Your safety, first.