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.
最近更新: 2年多前interpreter for simple typed lambda calculus. 为了学习类型系统，手写了一个parser.
最近更新: 接近4年前
