60 search results for "author:"Tarides""
Showing 51 - 60
-
odoc-md
No documentation
OCaml Documentation Generator - Markdown support3.2.1ISCUsed by 1 other packages12 May 2026 -
opatch
No documentation
Pure OCaml command-line tool to apply a patch3.1.1ISCUsed by 2 other packages05 May 2026 -
ortac-core
No documentation
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.8.0MITUsed by 3 other packages25 Mar 2026 -
ortac-dune
No documentation
Generate dune rules for other ortac plugins0.8.0MITUsed by 0 other packages25 Mar 2026 -
ortac-qcheck-stm
No documentation
QCheck-STM plugin for Ortac0.8.0MITUsed by 1 other packages25 Mar 2026 -
ortac-runtime
No documentation
Runtime support library for Ortac-generated code0.8.0MITUsed by 3 other packages25 Mar 2026 -
ortac-runtime-qcheck-stm
No documentation
Runtime support library for Ortac/QCheck-STM-generated code0.8.0MITUsed by 1 other packages25 Mar 2026 -
ortac-wrapper
No documentation
Wrapper plugin for Ortac0.8.0MITUsed by 1 other packages25 Mar 2026 -
PPX deriver for Irmin type representations3.11.0ISCUsed by 7 other packages23 Jun 2025
-
Specification of the Tezos context hash1.0.0MITUsed by 1 other packages15 Jul 2021