12 search results for "author:"Nicolas Osborne""
Showing 1 - 12
-
ciao_lwt
No documentation
A tool for migrating from Lwt to direct-style concurrency libraries0.1MITUsed by 0 other packages03 Mar 2026 -
lwt_lint
No documentation
A linter for code that might cause implicit forking in Lwt0.1MITUsed by 0 other packages03 Mar 2026 -
A tool for migrating away from lwt_ppx0.1MITUsed by 0 other packages03 Mar 2026
-
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel0.7.2MITUsed by 3 other packages27 Aug 2025
-
Generate dune rules for other ortac plugins0.7.2MITUsed by 0 other packages27 Aug 2025
-
QCheck-STM plugin for Ortac0.7.2MITUsed by 1 other packages27 Aug 2025
-
Runtime support library for Ortac-generated code0.7.2MITUsed by 3 other packages27 Aug 2025
-
Runtime support library for Ortac/QCheck-STM-generated code0.7.2MITUsed by 1 other packages27 Aug 2025
-
Wrapper plugin for Ortac0.7.2MITUsed by 1 other packages27 Aug 2025
-
A multicore testing library for OCaml0.10BSD-2-clauseUsed by 0 other packages07 Oct 2025
-
Various utility functions for property-based testing of multicore programs0.10BSD-2-clauseUsed by 8 other packages07 Oct 2025
-
State-machine testing library for sequential and parallel model-based tests0.10BSD-2-clauseUsed by 9 other packages07 Oct 2025