Pinned Repositories
arch-env
Config for my arch-env
Azure-FTP
Zou's os project
CLK
fbq
Code for my blog
fbq.github.io
my github pages
linux
linux-rust
Adding support for the Rust language to the Linux kernel.
mvp
My Vim Plugins
userspace-rcu
Mirror of git://git.liburcu.org/userspace-rcu.git
linux
Adding support for the Rust language to the Linux kernel.
fbq's Repositories
fbq/linux-rust
Adding support for the Rust language to the Linux kernel.
fbq/mvp
My Vim Plugins
fbq/userspace-rcu
Mirror of git://git.liburcu.org/userspace-rcu.git
fbq/arch-env
Config for my arch-env
fbq/CLK
fbq/fbq
Code for my blog
fbq/fbq.github.io
my github pages
fbq/futures-rs
Zero-cost asynchronous programming in Rust
fbq/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
fbq/linux
fbq/irc
irc related projects written by golang
fbq/kvmsample
minivm based on kvm
fbq/librseq
Library for Restartable Sequences
fbq/litmus
Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
fbq/lkmm-for-rust
fbq/memoffset
offsetof for Rust
fbq/memory-model
fbq/memsec
Rust implementation `libsodium/utils`.
fbq/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.
fbq/notes
notes of blogs
fbq/posts
posts of blogs
fbq/rseq-test
Thread-local ABI tests
fbq/rust
Empowering everyone to build reliable and efficient software.
fbq/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
fbq/rust-lang-team
Rust teams structure
fbq/slides-template
a template of beamer slides
fbq/systemd
The systemd System and Service Manager
fbq/typos
fbq/udo
Rust code for Locking and Synchronization
fbq/yscheme
a compiler from a subset of Scheme into X64