fbq

mvp

My Vim Plugins

userspace-rcu

Mirror of git://git.liburcu.org/userspace-rcu.git

arch-env

Config for my arch-env

CLK

fbq

Code for my blog

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)

linux

irc

irc related projects written by golang

kvmsample

minivm based on kvm

librseq

Library for Restartable Sequences

linux-rust

Adding support for the Rust language to the Linux kernel.

litmus

Automatically generated litmus tests for validation LISA-language Linux-kernel memory models

lkmm-for-rust

memoffset

offsetof for Rust

memory-model

memsec

Rust implementation `libsodium/utils`.

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.

notes

notes of blogs

posts

posts of blogs

rseq-test

Thread-local ABI tests

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

typos

udo

Rust code for Locking and Synchronization

yscheme

a compiler from a subset of Scheme into X64