4532 search results for "author:" ""
Showing 1101 - 1150
-
Search for directories by type0.0.5MITUsed by 0 other packages10 Dec 2021
-
Published protocols for the authenticated message exchange0.1.0Apache-2.0Used by 0 other packages17 Jun 2021
-
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol0.1.0Apache-2.0Used by 1 other packages17 Jun 2021
-
OCaml-ified interfaces for the ProScript Cryptography Library0.1.0Apache-2.0Used by 2 other packages17 Jun 2021
-
Mirage crypto backed implementation of the ProScript Cryptography Library0.1.0Apache-2.0Used by 1 other packages17 Jun 2021
-
ProScript to OCaml translator0.1.0Apache-2.0Used by 0 other packages17 Jun 2021
-
Cross-platform basic set of script commands0.2.0Apache-2.0Used by 9 other packages07 Apr 2023
-
disml
No documentation
An OCaml library for interfacing with the Discord API0.2.5MITUsed by 0 other packages12 Feb 2019 -
Path-based dispatching for client- and server-side applications0.5.0BSD-3-clauseUsed by 3 other packages29 Apr 2020
-
Path-based dispatch: js_of_ocaml-specific support0.5.0BSD-3-clauseUsed by 0 other packages29 Apr 2020
-
Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell0.6.0MITUsed by 2 other packages25 Nov 2019
-
A library to probide a lwt based implementation of Distributed0.2.0MITUsed by 0 other packages26 Nov 2019
-
A library to probide a uwt based implementation of Distributed0.2.0MITUsed by 0 other packages26 Nov 2019
-
Distribute/marshal exceptions and extensible variants0.1.0ISCUsed by 0 other packages21 Nov 2016
-
Tool suite for testing shared memory models5.01LGPL-2.0-or-laterUsed by 0 other packages24 Oct 2014
-
Implementation of DKIM in OCaml0.7.0MITUsed by 2 other packages18 Sep 2024
-
Implementation of DKIM in OCaml0.7.0MITUsed by 0 other packages18 Sep 2024
-
Implementation of DKIM in OCaml for MirageOS0.7.0MITUsed by 0 other packages18 Sep 2024
-
dkml-base-compiler
No documentation
OCaml cross-compiler and libraries from the DKML distribution that works with at least Win32 and macOS4.12.1~v1.0.2~prerel7Apache-2.0Used by 3 other packages17 Nov 2022 -
Cross-compiler friendly ABI and library discovery for OCaml's native C compilers3.0.0Apache-2.0Used by 0 other packages07 Jun 2022
-
Scripts to configure DKML compilation in various environments1.0.2~prerel7Apache-2.0Used by 0 other packages17 Nov 2022
-
dkml-component-offline-ocamlrun
No documentation
DKML staging component for ocamlrun4.12.1~v1.0.2Apache-2.0Used by 0 other packages10 Nov 2022 -
Offline install of Opam2.2.0~alpha0~20221104Apache-2.0Used by 0 other packages14 Nov 2022
-
dkml-component-staging-ocamlrun
No documentation
DKML staging component for ocamlrun4.12.1~v1.0.2Apache-2.0Used by 2 other packages10 Nov 2022 -
DKML component for 32-bit versions of opam2.2.0~dkml20220801Apache-2.0Used by 0 other packages11 Aug 2022
-
DKML component for 64-bit versions of opam2.2.0~dkml20220801Apache-2.0Used by 0 other packages11 Aug 2022
-
Component used by the dkml-package-console Console Packager0.1.1Apache-2.0Used by 1 other packages09 Aug 2022
-
Embedded DSL for Dune files to do syntax checking, auto-completion and generate dune.inc include files0.1.4Apache-2.0Used by 1 other packages18 Sep 2024
-
An interpreter for the embedded DSL of Dune that shows the DSL as a real Dune file0.1.4Apache-2.0Used by 0 other packages18 Sep 2024
-
API and registry for DkML installation components0.5.3Apache-2.0Used by 6 other packages15 Sep 2024
-
Build tools for DkML installers0.5.3Apache-2.0Used by 0 other packages15 Sep 2024
-
Runner executable for DkML installation0.5.3Apache-2.0Used by 2 other packages15 Sep 2024
-
Configures DKML components to support vcpkg0.1.0Apache-2.0Used by 0 other packages15 Nov 2022
-
Console setup and uninstall executables for DkML installation0.5.3Apache-2.0Used by 0 other packages15 Sep 2024
-
Common runtime code used in DKML2.0.3Apache-2.0Used by 0 other packages11 Oct 2023
-
Common runtime code used in DKML2.0.3Apache-2.0Used by 0 other packages11 Oct 2023
-
Scripts used by the Diskuv OCaml distribution during installation1.0.2~prerel7Apache-2.0Used by 0 other packages15 Nov 2022
-
GitLab CI/CD and GitHub Action workflows used by and with Diskuv OCaml (DKML) tooling1.2.0Apache-2.0Used by 1 other packages30 Dec 2022
-
A purely functional list-like data structure supporting O(1) concatenation0.1.0BSD-3-ClauseUsed by 1 other packages21 Nov 2013
-
Libdlm bindings0.3.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages17 Jun 2022
-
A library that implements dependent (heterogeneous) maps0.5LGPL-2.1Used by 1 other packages16 May 2022
-
An opinionated Domain Name System (DNS) library9.0.0BSD-2-ClauseUsed by 15 other packages27 Aug 2024
-
DNS implementation using the Async concurrency framework1.1.3ISCUsed by 0 other packages15 Jul 2019
-
MirageOS let's encrypt certificate retrieval9.0.0BSD-2-ClauseUsed by 1 other packages27 Aug 2024
-
Unix command line utilities using uDNS9.0.0BSD-2-ClauseUsed by 0 other packages27 Aug 2024
-
DNS client API9.0.0BSD-2-ClauseUsed by 14 other packages27 Aug 2024
-
DNS client API using lwt9.0.0BSD-2-ClauseUsed by 3 other packages27 Aug 2024
-
DNS client API for Miou9.0.1BSD-2-ClauseUsed by 1 other packages28 Sep 2024
-
DNS client API for MirageOS9.0.0BSD-2-ClauseUsed by 6 other packages27 Aug 2024
-
Library and tools for creating forwarding DNS servers0.10.0ISCUsed by 1 other packages07 Nov 2017