Home of OpenVMM and OpenHCL

Home of the operational semantics team, used primarily for procedural items

Library for Restartable Sequences

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

Proposal for removing the TLS errno variable from C++ for the standard math library

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

An unix-like toy kernel

minivm based on kvm

Vifm is a file manager with curses interface, which provides Vim-like environment for managing objects within file systems, extended with some useful ideas from mutt.

SICP PDF with Texinfo and LaTeX source

📚 Freely available programming books

Vim-fork focused on extensibility and usability

Node.js based forum software built for the modern web

Resumes generated using the GitHub informations

饮水思源非官方API

NOVA runtime environment (official branch)

NOVA Microhypervisor

MMIX full system simulator in Haskell (never tested!)

NOVA userland

Zou's os project

Zou's os project

python interface to bbs.sjtu.edu.cn

A chatroom application run on Google App Engine