supermartian Goto Github PK

abcar

A wifi-controlled car based on Arduino and Beaglebone Black

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

balthasar

base-han

Encode anything into Chinese characters.

cchat-client

An online anonymous chat client with encryption.

cchat-server

An online anonymous chat system 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

gb-live

Live creation

hans

IP over ICMP

joviality.me

Rise a tree with your smiling faces.

le-ideas

Random thoughts

le-verification

Things that are needed for formally verifying a system

libpcap

the LIBpcap interface to various kernel packet capture mechanism

linux

Linux kernel source tree

lockfree-queue

A simple lock-free queue implementation.

mongoose

Mongoose web server

msthesis

My Master's Thesis

pintos

qmnes

Yet another NES emulator

racey-suite

Racey and its friends

rust_homework

REPO to submit rust homeworks

spritecrop

A script for cropping sprite images.

supermartian.github.com

tcpdump

the TCPdump network dissector

thank-you-github

An open letter of gratitude to GitHub

threes-bot

An AI program for playing Threes!

toyip

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