kit-ty-kate/coq-playground
Playing with Coq…
Public GitHub Catalog
Discovered Sep 30, 2026
kit-ty-kate / llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
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.
#19255257GitHub System ID
kit-ty-kateOrganization / User
PublicVisibility
ActiveCatalog Status
More from kit-ty-kate
kit-ty-kate/thechosen
Create events, invite people, randomly pick participants.
kit-ty-kate/ollvm
An higher-level LLVM binding for OCaml
kit-ty-kate/topkg
The trivial OCaml package builder