Name: Hengfeng Wei (魏恒峰)
Type: User
Company: Nanjing University (南京大学)
Bio: I am currently a Research Assistant at Software Institute at Nanjing University, China.
Location: Nanjing University
Blog: https://hengxin.github.io/
Hengfeng Wei (魏恒峰)'s Projects
Lectures for the Algorithm Course
Practicing Algorithms
Collection of Algorithm Pseudocode
Week-long ping logs across 9 Aliyun (阿里云) ECSes, spanning 3 datacenters in North China, South China, and East China.
Projects on aliyun.
Android + Formal Methods
Communication between a computer and multiple android phones via USB and ADB
Database Systems
Awesome Resources on Distributed Computing and Distributed Systems
A Book (Note) on Database Transactions
Survey on CC and TCC: Specifications and Systems
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
A distributed, partitioned, replicated, transactional, main-memory key-value data store prototype which implements RVSI.
Report: Coq, Chapar, and Coq Again
Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
Visualizing Compilers
Visualizing Compilers (LR)
Tutorials for "Concrete Mathematics"
configurations of my ubuntu system
Checking Consistency Models
PRAM consistency checking in the context of distributed shared memory systems
Coq Implementation of the (vis, ar) Specification Framework for Replicated Data Types
Rock on Coq
A web app for ranking computer science departments according to their research output in selective venues.
TLA+ Spec for the Cure Key-Value Store
Distributed Algorithm Fast Prototyping Platform
Resources on Data Structures and Algorithms
Tutorial (Discrete Mathematics)
On Dist-AI Project
Research resources on the distributed consensus problem