kit-ty-kate/coq-playground
Playing with Coq…
Public GitHub Catalog
Discovered Sep 28, 2026
kit-ty-kate / labrys
A toy language based on LLVM that implements the System Fω type-system
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#11819934GitHub 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