quux00/PlusCal-Examples
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
Cascading Scheme for the Apache Avro data serialization format
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