ghxiao/city-bench
Public repository.
Public GitHub Catalog
Discovered Oct 5, 2026
ghxiao / Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
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.
#29735505GitHub System ID
ghxiaoOrganization / User
PublicVisibility
ActiveCatalog Status
More from ghxiao
ghxiao/gitignore
A collection of useful .gitignore templates
ghxiao/sandbox
Public repository.
ghxiao/ghxiao.github.io
my personal website