lookup ISP and geo info (province, city etc) for mobile numbers in China

RDKit is a simple toolkit to write Redis-like, single-threaded multiplexing-IO server.

collection of talks I gave

test if an IP belongs to mainland China

QMake project file syntax highlighting for Visual Studio Code

yet another consistent hashing library

SSDB - A fast NoSQL database, an alternative to Redis

Heroku's Ruby Buildpack for Cedar

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choi...