interpreter for simple typed lambda calculus. 为了学习类型系统，手写了一个parser.
To build and enrich documentation for openEuler project.
StratoVirt is an opensource VMM(Virtual Machine Manager) which aims to perform next generation virtualization.StratoVirt is based on Rust programming language.StratoVirt is lightweight, efficient and safe.It also has features like Full Sence Support and Modules Flexible Splitting.
