kit-ty-kate/coq-playground
Playing with Coq…
Public GitHub Catalog
Discovered Sep 30, 2026
kit-ty-kate / why3
An unofficial mirror of Why3 (http://why3.lri.fr/)
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.
#19458298GitHub 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