os kernel labs for operating systems course in Tsinghua University.
os course info
simple os book
ucore os lab guide
Exercises for OS course
Building ucore OS step by step
advanced os course info & some os papers
tutorial labs for os course
Simple 8-bit v8-CPU with Compiler+Assembler+Simulator. Try it-->
compiler course info
6.824: Distributed Systems in MIT
the ucore os protal
Some toy labs for compiler course
uCore+ kernel in RUST, supporting x86_64 & RISCV32/64/AARCH64
Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
The final project in Advanced Operating System course
Linux kernel source tree
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。
Low level access to RISCV processors
the uclibc lib for ucore
mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems
the code of acm
ucore os labs for risc-v cpu
A tiny hand crafted CPU emulator, C compiler, and Operating System
ucore arm9 porting
6.033:Computer Systems Engineering in MIT
A private linux kernel branch which boosts socket-based application performance.
some records in mit
QA about os &lab
A enhanced version of SimpleHTTPServer
Network Stack in Userspace
"C++ Primer 5th edtion" exercises
The Decaf compiler, written in Scala
The new Decaf compiler, rewritten in "modern" Java
Test cases of the Decaf compiler PAs, for 2019 Fall.
The Decaf Book（中文）
Documentation (experiment guide) for decaf-rs.
Convert regex(es) to dfa
A lalr(1) parser generator in & for rust.
misc parsers in rust
Operating System Simulator
"Learn C The Hard Way" by Zed Shaw Converted to Rust
A code-completion & code-comprehension server
libipt - an Intel(R) Processor Trace decoder library
Thu compiler principle course homework, written in rust.
RISC-V Proxy Kernel
A Rust implementation for SFS in ucore_os_lab lab8
All katas done with Rust.
Implementation of FlexSC on Ubuntu 10.04
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
Mirror of https://gitlab.redox-os.org/redox-os/coreutils
cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.
Operating System Design and Implementation with uCore
Writing an OS in Rust
A public libevent repository. The official repository is at https://github.com/libevent/libevent
Source codes for book <<<BeginningAlgorithmContests>> Second edition
An SoC with multiple RISC-V IMA processors.
Advanced OS course in Dept. of CS, Tsinghua, Spring, 2015
An XeLaTeX document style for typesetting Simplified Chinese books.
My answer for the book Learn Python The Hard Way
S2E - A Platform for In-Vivo Multi-Path Software Analysis
A short tutorial about building Linux based operating systems.
An educational software system of a tiny self-compiling C compiler, a tiny self-executing MIPS emulator, and a tiny self-hosting MIPS hypervisor.
Linux Kernel Performance tests
Platform for Architecture-Neutral Dynamic Analysis
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
A gameboy emulator written for the Pypy-Toolchain
A (Py)thon (D)SL for (G)enerating (In)struction set simulators.
An implementation of PL/0 including a tree-based interpreter and virtual machine.
userspace tools for linux libos
Measurement of NUSE
memcached development tree
Simple Intel CPU processor tracing on Linux
A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
static checkers for performance bugs in PLDI'2012
some performance bugs used in Linhai's paper
mal - Make a Lisp
Mirror of Data Plane Development Kit, git://dpdk.org/dpdk (http://dpdk.org)
High performance server-side application framework
Linux TCP/IP stack port for DPDK
the biolic libc for ucore
the minigui for ucore
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 multicore machines. In addition, it is very easy to use and maintain. As a result, it has been deployed in the production environment of SINA.
Automatically exported from code.google.com/p/beginning-android-games
A collection of compiler, emulator and microkernel tools.
A demo for Team Collaboration on Github
Hello world examples for the book: GotGit
Hello world examples for the book: GotGit
A tiny linux with simple shell and full network support. Homework for Advanced Operating System
Manifest (forked from Android-x86.org)
Online OR1K Emulator running Linux
Automatically exported from code.google.com/p/tcptest
An HTML5 teaching platform with a P2P classroom based-on WebRTC, Docker, Git and WebSocket technology.
XBlocks for OS-MOOC
Basic Emacs configuration.
Punch for Todo.txt
Timeboxing with todo.txt and punch.py
Syracuse SEED labs in shiyanlou.com
fork from ucore_plus
Python API Library for inspecting FreeRTOS Objects in GDB
Automatically exported from code.google.com/p/distorm
Automatically exported from code.google.com/p/virtuoso
Examples of using the LLVM and Clang compilation libraries and tools
How to write opensource books
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.
Mirror of official libcxx git repository located at http://llvm.org/git/libcxx. Updated hourly.
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated hourly.
Mirror of official clang-tools-extra git repository located at http://llvm.org/git/clang-tools-extra. Updated hourly.
Diff program for semantic patches
KLEE Symbolic Virtual Machine
Giri: Dynamic Program Slicing in LLVM
Static Slicer for LLVM
Memory access tracing QEMU
C++11 ELF/DWARF parser
POSIX-like scalable multicore research OS kernel
Automated multicore scalability testing tool
A repository about the study of drivers.
Learn ARM with Source Open