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