Pinned Repositories
actix-instances
multiple instances in learning actix_web
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Lisp-rs
A small attempt for constructing a lisp intepreter based on <https://vishpat.github.io/lisp-rs/>
mina-zkapp-bootcamp
Mina Protocol 携手 OpenBuild 推出为零知识证明开发者设计的 Bootcamp,帮助开发者可以从零开始学习在 Mina Protocol 构建 ZK 驱动的应用(zkApp)。
password-vault
A excercise of constructing password vault cli in Rust.
PetApp-egui
A egui app about pet collection. Self-Learning of "https://blog.logrocket.com/building-cross-platform-gui-apps-rust-using-egui/"
ProgressBar-Race
An Excericise of ProgressBar Race
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
xlings
一个用于编程开发、学习和课程搭建的开发者工具 🛠️ A Developer's Toolkit for Programming Learning, Development, and Tutorial Creation
bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
lvyuemeng's Repositories
lvyuemeng/actix-instances
multiple instances in learning actix_web
lvyuemeng/Lisp-rs
A small attempt for constructing a lisp intepreter based on <https://vishpat.github.io/lisp-rs/>
lvyuemeng/mina-zkapp-bootcamp
Mina Protocol 携手 OpenBuild 推出为零知识证明开发者设计的 Bootcamp,帮助开发者可以从零开始学习在 Mina Protocol 构建 ZK 驱动的应用(zkApp)。
lvyuemeng/password-vault
A excercise of constructing password vault cli in Rust.
lvyuemeng/PetApp-egui
A egui app about pet collection. Self-Learning of "https://blog.logrocket.com/building-cross-platform-gui-apps-rust-using-egui/"
lvyuemeng/ProgressBar-Race
An Excericise of ProgressBar Race
lvyuemeng/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!