diskuv Goto Github PK

dkml-runtime-common

Common runtime code used in DKML

dkml-runtime-distribution

Scripts used within the DKML distribution of OCaml

dkml-workflows

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

dkml-workflows-monorepo-example

Example for dkml-workflows for an Opam Monorepo and Dune build workflow

dkml-workflows-prerelease

dkml-workflows-regular-example

Example for dkml-workflows for a regular Opam and Dune build workflow

dksdk-ffi

DkSDK FFI

dkstdrestapis

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

feat

feather

A shell library for OCaml

inotify-win

A port of the inotify-wait tool for Windows

jane-street-headers

Jane Street header files

jst-config

Compile-time configuration for Jane Street libraries

lambda-term

Terminal manipulation library for OCaml

mirage-crypto

Cryptographic primitives for MirageOS

msvs-tools

Microsoft Visual Studio Helper Scripts (OCaml)

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-sourcemaps

An ocaml implementation of JavaScript sourcemaps

ocaml-yaml

OCaml interface to the YAML 1.1 spec

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

odoc-sandbox

A home for experiments on odoc, the OCaml documentation tool

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

proscript-messaging

Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

scoutapps

Sonic Scout is scouting software for First Robotics competitions.

snarky

OCaml DSL for verifiable computation

vscode-ocaml-platform

Visual Studio Code extension for OCaml

zed

Abstract engine for text edition in OCaml