fbq

free-programming-books

:books: Freely available programming books

neovim

Vim-fork focused on extensibility and usability

resume.github.com

Resumes generated using the GitHub informations

CppCoreGuidelines

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

NodeBB

Node.js based forum software built for the modern web

StarCraft

HTML5 version of StarCraft game

sicp-pdf

SICP PDF with Texinfo and LaTeX source

vifm

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.

OS67

An unix-like toy kernel

ruhoh.rb

learn_unsafe_rust

kvmsample

minivm based on kvm

nidhugg

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 Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

librseq

Library for Restartable Sequences

NUL

NOVA userland

NRE

NOVA runtime environment (official branch)

gaetalk

A chatroom application run on Google App Engine

opsem-team

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

NOVA

NOVA Microhypervisor

Haskell-MMIX

MMIX full system simulator in Haskell (never tested!)

pyssy

python interface to bbs.sjtu.edu.cn

pyssy

饮水思源非官方API

Azure-FTP

Zou's os project

TLSproposal-P0108

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

Azure-FTP

Zou's os project