Safety Verification of Deep Neural Networks

The state-of-the-art Dashboard of Apache RoccketMQ provides excellent monitoring capability. Various graphs and statistics of events, performance and system information of clients and application i…

A cross-platform, GPU-accelerated terminal emulator

Used by our Practical Kubernetes Trainings.

🚦 Carefully extended flow-router for Meteor

Go bindings for Lua C API - in progress

Bootstrap Kubernetes the hard way on local virtualbox