quux00/PlusCal-Examples
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
Public GitHub Catalog
Discovered Sep 25, 2026
quux00 / Staxxas
A sanity wrapper around JAXP's XMLStreamWriter
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.
#3750183GitHub System ID
quux00Organization / User
PublicVisibility
ActiveCatalog Status
More from quux00
quux00/cq
neo4j cypher library for database/sql in go
quux00/kstorm
Example code showing how to use a Kafka Spout in Storm 0.9.3
quux00/disruptor
High Performance Inter-Thread Messaging Library