Developer Tools
Annual
DkSDK
HTML Tag Icon
DkML

Get high-level language productivity within C applications: DkSDK CMake.
Re-use business logic and data layers in both C and Android+Java: DkSDK FFI.
Future-proof for iOS+Swift and the web.

Learn OCaml.
Create command line tools.

$109
USD per developer
To purchase:
Free
Get Started »
DkSDK
DkML
Features
Security
Reproducible builds.
Whole program compiler flags for hardening.
Debug
Breakpoints on Linux and WSL2.
CI/CD
GitLab CI, GitHub Actions.
Others on request.
GitLab CI, GitHub Actions.
Development
OCaml
Checkmark 4.14.0 Long Term Support
Checkmark 4.14.0 Long Term Support
(2) 5.1.0 Experimental Release
C
Checkmark C11
Small C projects.
Java
Checkmark
Swift
Upcoming
C++
Upcoming
Web
Upcoming
Checkmark
Build Tooling
CMake, Gradle
Dune, opam
Tier 1 Supported Targets
Windows i686
Checkmark
Windows x64
Checkmark
Checkmark
Linux i686
Checkmark (1)
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
Logo for Diskuv

Your safety, first.