semistrict/tlaplus
Public repository.
Public GitHub Catalog
Discovered Oct 13, 2026
semistrict / cockroach
A Scalable, Geo-Replicated, Transactional Datastore
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.
#37026621GitHub System ID
semistrictOrganization / User
PublicVisibility
ActiveCatalog Status
More from semistrict
semistrict/jdk8-hotspot
Mirror of OpenJDK 8 Hotspot repo
semistrict/MapDB
MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.
semistrict/context-switching-times
Time context switching in various languages/runtimes