gasche/bytes-compat-dummy
dummy forward-compatibility package for the standard Bytes module
The core OCaml system: compilers, runtime system, base libraries
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
dummy forward-compatibility package for the standard Bytes module
backward-compatibility package for the standard Bytes module of 4.02
Coq formalization of System Fcc (coercion framework)
ocaml kernel for ipython