A library for efficient similarity search and clustering of dense vectors.

A virtual machine for executing programs written in Hack.

libco is a coroutine library which is widely used in wechat back-end service. It has been running on tens of thousands of machines since 2013.

Lightweight in-process concurrent programming