gasche/bytes-compat-dummy
dummy forward-compatibility package for the standard Bytes module
Public GitHub Catalog
Discovered Sep 30, 2026
gasche / fcc
Coq formalization of System Fcc (coercion framework)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#17626249GitHub System ID
gascheOrganization / User
PublicVisibility
ActiveCatalog Status
More from gasche
gasche/bytes-compat
backward-compatibility package for the standard Bytes module of 4.02
gasche/ocaml
The core OCaml system: compilers, runtime system, base libraries
gasche/iocaml
ocaml kernel for ipython