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 5

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

    The Windows-friendly distribution of OCaml

    Shell 61 2

  3. diskuvbox diskuvbox Public

    Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.

    Shell 17 1

  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 1

  5. dkml-c-probe dkml-c-probe Public

    Cross-compiler friendly characterizations of the OCaml's native C compiler

    OCaml 8 2

  6. dkml-workflows dkml-workflows Public

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

    Shell 8 1

Repositories

Showing 10 of 57 repositories
  • 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 5 0 0 0 Updated Jul 15, 2024
  • dkml-installer-opam Public

    An installer for opam, the OCaml package manager

    diskuv/dkml-installer-opam’s past year of commit activity
    Shell 0 Apache-2.0 0 1 0 Updated Jul 8, 2024
  • dkml-component-opam Public

    DKML component for Opam

    diskuv/dkml-component-opam’s past year of commit activity
    Shell 3 Apache-2.0 1 0 0 Updated Jul 8, 2024
  • scoutapps Public

    Sonic Scout is scouting software for First Robotics competitions. The software is gradually being converted to use the simpler https://github.com/diskuv/dkcoder scripting framework.

    diskuv/scoutapps’s past year of commit activity
    Shell 0 0 0 0 Updated Jun 28, 2024
  • dkml-workflows-prerelease Public
    diskuv/dkml-workflows-prerelease’s past year of commit activity
    Shell 0 Apache-2.0 0 0 0 Updated Jun 28, 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 Jun 27, 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 3 Apache-2.0 1 0 0 Updated Jun 24, 2024
  • dkml-compiler Public

    OCaml compiler from the DKML distribution

    diskuv/dkml-compiler’s past year of commit activity
    Shell 0 Apache-2.0 1 1 0 Updated May 28, 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 May 16, 2024
  • dkml-workflows Public

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

    diskuv/dkml-workflows’s past year of commit activity
    Shell 8 Apache-2.0 1 2 0 Updated May 10, 2024
View all repositories

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…