yuxuanchen1997
Engineer @ Programming Languages and Runtimes at Meta Platforms, Inc.
Meta Platforms, Inc. @facebook Menlo Park, CA
Pinned Repositories
redex
A bytecode optimizer for Android apps
SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
sai
Staged Abstract Interpreters
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
immutable-graph
Adjacency-lists backed directed graph implementation over an immutable RRB vector.
mydotfiles
My Linux dotFiles
SPARTA
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
yuxuanchen1997's Repositories
yuxuanchen1997/immutable-graph
Adjacency-lists backed directed graph implementation over an immutable RRB vector.
yuxuanchen1997/mydotfiles
My Linux dotFiles
yuxuanchen1997/SPARTA
SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
yuxuanchen1997/BSD-Mac-Dotfiles
yuxuanchen1997/circle
The compiler is available for download. Get it!
yuxuanchen1997/HiJNI
yuxuanchen1997/llvm-project
Yuxuan's personal fork of llvm-project for development
yuxuanchen1997/minidotfiles
dotFiles in 20 lines. --Get everything set up in 20 lines!
yuxuanchen1997/creduce
C-Reduce, a C and C++ program reducer
yuxuanchen1997/folly
An open-source C++ library developed and used at Facebook.
yuxuanchen1997/jakt
The Jakt Programming Language
yuxuanchen1997/neovim-config
yuxuanchen1997/petgraph
Graph data structure library for Rust.
yuxuanchen1997/redex
A bytecode optimizer for Android apps
yuxuanchen1997/sway
i3-compatible Wayland compositor
yuxuanchen1997/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
yuxuanchen1997/yuxuanchen1997.github.io