Skip to content
@diskuv

Diskuv

Pinned Loading

  1. dkcoder dkcoder Public

    OCaml-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 ow…

    CMake 6

  2. dkml-installer-ocaml dkml-installer-ocaml Public

    The Windows-friendly distribution of OCaml

    Shell 63 2

  3. scoutapps scoutapps Public

    Sonic Scout is scouting software for First Robotics competitions.

    Shell 4 2

  4. 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

  5. dkml-workflows dkml-workflows Public

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

    Shell 8 1

  6. DkStdRestApis DkStdRestApis Public

    The standard REST API clients and mock servers for https://github.com/diskuv/dkcoder

    OCaml 4 1

Repositories

Showing 10 of 57 repositories
  • dkml-compiler Public

    OCaml compiler from the DKML distribution

    diskuv/dkml-compiler’s past year of commit activity
    Shell 1 Apache-2.0 1 0 0 Updated Nov 23, 2024
  • diskuv-opam-repository Public

    Supplemental public package repository for opam, the source package manager of OCaml.

    diskuv/diskuv-opam-repository’s past year of commit activity
    Shell 0 Apache-2.0 3 1 1 Updated Nov 23, 2024
  • dkcoder Public

    OCaml-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/dkcoder’s past year of commit activity
    CMake 6 0 1 0 Updated Nov 23, 2024
  • dkml-runtime-distribution Public

    Scripts used within the DKML distribution of OCaml

    diskuv/dkml-runtime-distribution’s past year of commit activity
    Shell 0 Apache-2.0 2 0 0 Updated Nov 16, 2024
  • dkml-dune-dsl Public

    Embedded DSL for Dune files to do syntax checking, auto-completion and generate dune.inc include files

    diskuv/dkml-dune-dsl’s past year of commit activity
    OCaml 3 Apache-2.0 0 0 0 Updated Nov 10, 2024
  • dkml-runtime-common Public

    Common runtime code used in DKML

    diskuv/dkml-runtime-common’s past year of commit activity
    Shell 0 Apache-2.0 2 1 0 Updated Nov 8, 2024
  • scoutapps Public

    Sonic Scout is scouting software for First Robotics competitions.

    diskuv/scoutapps’s past year of commit activity
    Shell 4 2 2 0 Updated Nov 5, 2024
  • DkStdRestApis Public

    The standard REST API clients and mock servers for https://github.com/diskuv/dkcoder

    diskuv/DkStdRestApis’s past year of commit activity
    OCaml 4 Apache-2.0 1 0 0 Updated Oct 23, 2024
  • diskuv/dkml-workflows-prerelease’s past year of commit activity
    Shell 0 Apache-2.0 0 0 0 Updated Oct 23, 2024
  • dkml-install-api Public

    API for OCaml installation plugins

    diskuv/dkml-install-api’s past year of commit activity
    OCaml 0 Apache-2.0 0 0 0 Updated Sep 15, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…