khibino/CoPL-read
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
khibino / coq-Category-201205
Codes which is written in a proof party about Category Theory at 2012/05 Tokyo
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.
#4287053GitHub System ID
khibinoOrganization / User
PublicVisibility
ActiveCatalog Status
More from khibino
khibino/haskell-relational-record-driver-postgresql8
This repository includes a driver of haskell-relational-record to connect PostgreSQL v8.x.
khibino/haskell-debian-build.rebuild
Debian package build sequence tools
khibino/haskell-debian-build
Debian package build sequence tools