A fast open-source OLAP database management system
The open-source database for the realtime web
Open source, distributed, transactional key-value store
A microkernel-based multiserver operating system written from scratch.
A cross-platform network component developed by WeChat
An advanced cross platform fuzzing framework suited to find code bugs.
Probabilistic Risk Assessment Tool
program spectrum-based fault localiziation