- Saint Petersburg
Stars
FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.
High Performance Inter-Thread Messaging Library
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
Micro second messaging that stores everything to disk
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with…
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A tiny embedded Java-engine for extremely fast partitioned immutable-after-construction databases