quux00/PlusCal-Examples
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
High Performance Inter-Thread Messaging Library
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
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
A library that helps authenticate Httpclient with services that use NTLM, KERBEROS, SSL authentications.