diskuv/dkcoder

Language: CMake - Size: 325 KB - Last synced: about 14 hours ago - Pushed: about 15 hours ago - Stars: 0 - Forks: 0

diskuv/dkml-workflows

GitLab CI/CD and GitHub Action workflows used by and with Diskuv OCaml (DKML) tooling.

Language: Shell - Size: 1.89 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 8 - Forks: 1

diskuv/dkml-installer-ocaml

The Windows-friendly distribution of OCaml

Language: Shell - Size: 861 KB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 61 - Forks: 2

diskuv/dkml-component-opam

DKML component for Opam

Language: Shell - Size: 625 KB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 3 - Forks: 1

diskuv/dkml-runtime-distribution

Scripts used within the DKML distribution of OCaml

Language: Shell - Size: 746 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 2

diskuv/dkml-workflows-prerelease

Language: Shell - Size: 2.05 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

diskuv/dkml-compiler

OCaml compiler from the DKML distribution

Language: Shell - Size: 658 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 1

diskuv/dkml-component-ocamlrun

DKML component for OCaml runtime and Stdlib

Language: Shell - Size: 390 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

diskuv/dkml-component-ocamlcompiler

DKML component for ocamlrun

Language: PowerShell - Size: 619 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

diskuv/dkml-runtime-common

Common runtime code used in DKML

Language: Shell - Size: 720 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 2

diskuv/diskuv-opam-repository

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

Language: Shell - Size: 1.12 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 1

diskuv/dkml-installer-ocaml-byte

Language: Shell - Size: 815 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

diskuv/mirage-crypto Fork of mirage/mirage-crypto

Cryptographic primitives for MirageOS

Language: C - Size: 6.24 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

diskuv/dkml-install-api

API for OCaml installation plugins

Language: OCaml - Size: 4.95 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

diskuv/dkml-ghmirror

A GitHub mirror of the authoritative https://gitlab.com/diskuv-ocaml/distributions/dkml. Used to validate GitHub CI actions for GitHub users

Language: CMake - Size: 9.87 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

diskuv/dkml-workflows-regular-example

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

Language: Shell - Size: 339 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 1

diskuv/diskuvbox

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

Language: Shell - Size: 300 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 16 - Forks: 1

diskuv/dirsp-exchange

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

Language: Standard ML - Size: 5.82 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 8 - Forks: 1

diskuv/dkml-runtime-apps

Common apps used in DKML

Language: OCaml - Size: 3.86 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 0 - Forks: 0

diskuv/dkml-dune-dsl

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

Language: OCaml - Size: 549 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0

diskuv/odoc-sandbox

A home for experiments on odoc, the OCaml documentation tool

Language: HTML - Size: 111 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

diskuv/dkml-c-probe

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

Language: OCaml - Size: 104 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 9 - Forks: 2

diskuv/dkml-installer-opam

An installer for opam, the OCaml package manager

Language: Shell - Size: 129 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

diskuv/inotify-win Fork of thekid/inotify-win

A port of the inotify-wait tool for Windows

Size: 42 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/dkml-workflows-monorepo-example

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

Language: OCaml - Size: 14.3 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 2

diskuv/dkml-component-console

Components used by the dkml-package-console Console Packager

Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

diskuv/dkml-examples

Examples

Size: 9.77 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

diskuv/dkml-option-vcpkg

Configure DKML components for use with vcpkg, the C package manager

Language: OCaml - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

diskuv/conf-dkml-cross-toolchain

Opam package to add findlib toolchains for any DKML cross-compilers

Language: Shell - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

diskuv/ocaml-yaml Fork of avsm/ocaml-yaml

OCaml interface to the YAML 1.1 spec

Size: 612 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

diskuv/dkml-component-curl

The `staging-curl` component makes `curl` or `curl.exe` available on all DKML installable platforms, including Windows.

Language: OCaml - Size: 33.2 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

diskuv/dkml-component-unixutils

unixutils are Unix utilities available to installers on all platforms including Windows

Language: OCaml - Size: 71.3 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

diskuv/ansi-parse Fork of jdjakub/ansi-parse

Parse ANSI terminal escape codes into usable abstract representation.

Language: OCaml - Size: 1.41 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

diskuv/capnproto-java Fork of capnproto/capnproto-java

Cap'n Proto in pure Java

Language: Java - Size: 755 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

diskuv/diskuv-ocaml-starter-ghmirror

A GitHub mirror of the authoritative https://gitlab.com/diskuv/diskuv-ocaml-starter. Used to validate GitHub CI actions for GitHub users

Language: Makefile - Size: 152 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

diskuv/opam Fork of ocaml/opam

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

Language: OCaml - Size: 36.3 MB - Last synced: 28 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

diskuv/feat

Language: OCaml - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

diskuv/lambda-term Fork of ocaml-community/lambda-term

Terminal manipulation library for OCaml

Size: 1.26 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

diskuv/zed Fork of ocaml-community/zed

Abstract engine for text edition in OCaml

Size: 362 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

diskuv/msvs-tools Fork of metastack/msvs-tools

Microsoft Visual Studio Helper Scripts (OCaml)

Size: 67.4 KB - Last synced: 28 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/ocaml-ctypes Fork of yallop/ocaml-ctypes

Library for binding to C libraries using pure OCaml

Size: 2.96 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

diskuv/feather Fork of charlesetc/feather

A shell library for OCaml

Language: OCaml - Size: 168 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/ocaml-sourcemaps Fork of flow/ocaml-sourcemaps

An ocaml implementation of JavaScript sourcemaps

Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/ocp-indent Fork of OCamlPro/ocp-indent

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

Size: 1.6 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/vscode-ocaml-platform Fork of ocamllabs/vscode-ocaml-platform

Visual Studio Code extension for OCaml

Language: OCaml - Size: 3.07 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/jst-config Fork of janestreet/jst-config

Compile-time configuration for Jane Street libraries

Language: OCaml - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/jane-street-headers Fork of janestreet/jane-street-headers

Jane Street header files

Language: C - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/core Fork of janestreet/core

Jane Street Capital's standard library overlay

Language: OCaml - Size: 6.26 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

diskuv/async_unix Fork of janestreet/async_unix

Jane Street Capital's asynchronous execution library (unix)

Size: 2.5 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/alcotest Fork of mirage/alcotest

A lightweight and colourful test framework

Language: OCaml - Size: 2.94 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/core_kernel Fork of janestreet/core_kernel

Jane Street's standard library overlay (kernel)

Language: OCaml - Size: 7.33 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/base_bigstring Fork of janestreet/base_bigstring

String type based on Bigarray, for use in I/O and C-bindings

Language: OCaml - Size: 47.9 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/snarky Fork of o1-labs/snarky

OCaml DSL for verifiable computation

Language: HTML - Size: 12.5 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

diskuv/proscript-messaging Fork of Inria-Prosecco/proscript-messaging

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

Size: 3.58 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0