quux00/PlusCal-Examples
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
Code using the Disruptor library from LMAX
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
neo4j cypher library for database/sql in go
Example code showing how to use a Kafka Spout in Storm 0.9.3
High Performance Inter-Thread Messaging Library