Change the repository type filter
All
Repositories list
57 repositories
dkcoder
PublicOCaml-based scripting for small utilities all the way to larger apps including games and production services. Supports LSP/IDE dev experience and transparent installation. Designed for both your own personal scripting and for SaaS/games/etc to distribute clients, CLIs and mod kits.diskuv-opam-repository
Publicdkml-dune-dsl
Publicdkml-runtime-common
Publicscoutapps
PublicSonic Scout is scouting software for First Robotics competitions.DkStdRestApis
PublicThe standard REST API clients and mock servers for https://github.com/diskuv/dkcoderdkml-compiler
Publicdkml-install-api
Publicdkml-runtime-apps
Publicdkml-component-ocamlrun
Publicdkml-workflows
Publicdkml-component-opam
Publicdkml-installer-ocaml
Publicdkml-c-probe
Publicdiskuvbox
Public- A GitHub mirror of the authoritative https://gitlab.com/diskuv/diskuv-ocaml-starter. Used to validate GitHub CI actions for GitHub users
dkml-component-unixutils
Publicdkml-installer-opam
Publicmirage-crypto
Publicdkml-ghmirror
PublicA GitHub mirror of the authoritative https://gitlab.com/diskuv-ocaml/distributions/dkml. Used to validate GitHub CI actions for GitHub usersdkml-component-curl
Publicdksdk-ffi
Publicocaml-ctypes
Public archiveodoc-sandbox
Public