Name: Boqun Feng
Type: User
Company: Microsoft
Bio: Linux Kernel Developer. Memory Model/Locks/RCU/Rust
Location: Redmond, US
Blog: https://fbq.github.io
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
futures-rs
Zero-cost asynchronous programming in Rust
grad-school-code
Some Code from my Grad School Courses
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
irc
irc related projects written by golang
kvmsample
minivm based on kvm
leetcode
solution for leetcode
librseq
Library for Restartable Sequences
linux
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`.
mvp
My Vim Plugins
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
s48
write yourself scheme in 48 hours practice
slides-template
a template of beamer slides
sscp
Simple Scheme ComPiler
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
