The dk coder is a script runner and cross-compiler designed for those with a limited background in programming to write substantial, safety-oriented applications. Yet its ease-of-use, portability and IDE support also solves the problem of README-itis: you give your users a lengthy README document, your users fail to install your software, and you lose a user forever.

If you haven't seen dk in action, the Quick Walkthrough Guide will explain what dk scripts are and give you small examples to run.

Developers who are ready to script with dk should explore the dk Runtime to check which versions of Windows , macOS , and Linux are supported for your users.

Developers who are writing scripts should first consult dk Parties for how to organize your scripts in a project, and then keep a copy of the dk Libraries and dk Macros reference manuals open while editing their scripts.

Intermediate and advanced OCaml users will want to read the Coming From OCaml guide.

dk(1)

dk-Embed(1)

dk-Exe(1)

dk-REPL(1)

dk-Run(1)

dk-SBOM(1)

DkAssets_Capture.File(1)

DkAssets_Capture.Origin(1)

DkAssets_Capture.Spec(1)

DkFs_C99.Dir(1)

DkFs_C99.File(1)

DkFs_C99.Path(1)

DkNet_Std.Browser(1)

DkNet_Std.Http(1)

DkStdRestApis_Gen.StripeDl(1)

DkStdRestApis_Gen.StripeGen(1)

MlStd_Std.Exec(1)

MlStd_Std.Export(1)

MlStd_Std.Legal.Record(1)

dkcoder-libraries(7)

dkcoder-macros(7)

dkcoder-runtime(7)

dkcoder-parties(7)

dkcoder-design-security(7)

dkcoder-design-linking(7)

dkcoder-limitations(7)

Quick Walkthrough Guide

Coming From OCaml Guide

DkSubscribeWebhook - Clonable formerly-in-production Stripe webhook that uses GitLab, AWS SES and 1Password.

Sonic Scout - `dk` powers the student developer experience, and some `dk` scripts are cross-compiled into the data layer (ie. embedded as a shared library) in its Android app.

SanetteBogue - A demonstration of existing OCaml code (a game) that runs without modifying the source.

dk Release Notes