Pinned Loading

1. dk dk Public

   A script runner and cross-compiler, written in OCaml. For CLIs and installers, embedding scripts in applications, and configuring software environments.

   CMake 9

2. 2025a-1-tutorial-for-codespaces 2025a-1-tutorial-for-codespaces Public template

   GitHub Codespaces mirror for https://gitlab.com/dkml/education/ui-series/2025a/1-tutorial-for-codespaces

   Shell

3. dkml-installer-ocaml dkml-installer-ocaml Public

   The Windows-friendly distribution of OCaml

   Shell 63 2

4. scoutapps scoutapps Public

   Sonic Scout is scouting software for First Robotics competitions.

   Shell 7 5

5. dirsp-exchange dirsp-exchange Public

   Provide software engineers with auditable source code that has some level of safety assurance (typically proofs) from security researchers.

   Standard ML 7

6. dkml-workflows dkml-workflows Public

   GitLab CI/CD and GitHub Action workflows used by and with DkML tooling

   Shell 8 1