A Coq library for Homotopy Type Theory

A redesign of Alx's wordpress theme Hueman, ported to Hexo.

Platform for Architecture-Neutral Dynamic Analysis

Fastsocket is a highly scalable socket and its underlying networking implementation of Linux kernel. With the straight linear scalability, Fastsocket can provide extremely good performance in multi…