Boqun Feng's repositories
linux-rust
Adding support for the Rust language to the Linux kernel.
userspace-rcu
Mirror of git://git.liburcu.org/userspace-rcu.git
fbq.github.io
my github pages
futures-rs
Zero-cost asynchronous programming in Rust
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
librseq
Library for Restartable Sequences
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.
rust
Empowering everyone to build reliable and efficient software.
rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
rust-lang-team
Rust teams structure
slides-template
a template of beamer slides
systemd
The systemd System and Service Manager