supermartian

lockfree-queue

A simple lock-free queue implementation.

toyip

A toy TCP/IP stack running on Linux user space.

qmnes

Yet another NES emulator

base-han

Encode anything into Chinese characters.

gb-live

Live creation

cchat-server

An online anonymous chat system with encryption.

le-verification

Things that are needed for formally verifying a system

tcpdump

the TCPdump network dissector

ABcar

A wifi-controlled car based on Arduino and Beaglebone Black

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

Balthasar

cchat-client

An online anonymous chat client with encryption.

CertiuCOS2

A refinement-based verification framework for preemptive OS kenerls. (Coq8.5)

dotfiles

Dotfiles of my own

dthreads

dthreads: Efficient Deterministic Multithreading

face-analysis-sdk

Facial detection, landmark tracking and expression transfer library for Windows, Linux and Mac

hans

IP over ICMP

joviality.me

Rise a tree with your smiling faces.

le-ideas

Random thoughts

libpcap

the LIBpcap interface to various kernel packet capture mechanism

linux

Linux kernel source tree

MSThesis

My Master's Thesis

pintos

racey-suite

Racey and its friends

rust_homework

REPO to submit rust homeworks

spritecrop

A script for cropping sprite images.

supermartian.github.com

thank-you-github

An open letter of gratitude to GitHub

Threes-bot

An AI program for playing Threes!

tunneldigger

Client and broker for our custom L2TPv3 NAT-traversing tunnel setup protocol based on L2TPv3 support in the Linux kernel.