jyizheng
I am working on Key-Value Stores, Databases, File Systems, OS with C/C++ and Rust.
UNCThe Bay Area
Pinned Repositories
CobbleDB
A LSM-based Key-Value Store in Rust
dtar
distributed tar tool
ext4-comments
ext4代注释
Intel-VTE
Study Intel Virtualization Technology throught http://www.cs.usfca.edu/~cruse/cs686s07/
lokifs
A versioned file system for data analytic workload
my-paper-reading
paper-reviews
keep track of the paper I reviewed
personal-studying
Keep track of the paper and self-study materials for the subject I am interested in
simplefs
jyizheng's Repositories
jyizheng/ACM
ACM模板和一些题目的代码实现
jyizheng/barrieriostack
jyizheng/biscuit
Biscuit research OS
jyizheng/books
Books worth spreading
jyizheng/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq
jyizheng/cockroach
CockroachDB - the open source, cloud-native SQL database.
jyizheng/coding-interview-university
A complete computer science study plan to become a software engineer.
jyizheng/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jyizheng/coq-softwarefoundation-lf
jyizheng/DeepSpecDB
jyizheng/Dragonfly
Dragonfly is an intelligent P2P based image and file distribution system.
jyizheng/fcsl-pcm
Partial Commutative Monoids
jyizheng/libc
Raw bindings to platform APIs for Rust
jyizheng/linux-kernel-module-rust
Framework for writing Linux kernel modules in safe Rust
jyizheng/linux-nova
NOVA is a log-structured file system designed for byte-addressable non-volatile memories, developed at the University of California, San Diego.
jyizheng/lnd
Lightning Network Daemon ⚡️
jyizheng/mv-rlu
MV-RLU: Scaling Read-Log-Update with Multi-Versioning
jyizheng/nvme-proposal
jyizheng/PAM-AE
jyizheng/pip-freertos
jyizheng/riak
Riak is a decentralized datastore from Basho Technologies.
jyizheng/seata
:fire: Seata is an easy-to-use, high-performance, java based, open source distributed transaction solution.
jyizheng/tchannel
network multiplexing and framing protocol for RPC
jyizheng/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
jyizheng/tokudb
Next Generation DBMS TokuDB, based on Percona Server 5.7 with more features
jyizheng/tricotools
Triconex TriStation utilities and tools
jyizheng/trocksdb
RocksDB modified to separate keys and values, resulting in a major decrease in write amplification without sacrificing performance
jyizheng/URingPaxos
URingPaxos : A high throughput atomic multicast protocol
jyizheng/wormhole
Wormhole: An ordered in-memory key-value index
jyizheng/YFS
Distributed File System (aka Frangipani) in C++