frank-king
PhD Student from Peking University. Research Interests: Programming Languages.
Beijing, China
Pinned Repositories
arceos
An experimental modular OS written in Rust.
articles
Source code for my articles
commons-dbutils
Mirror of Apache Commons DbUtils
coq-playground
A playground to learn coq and formality theories
cyclic_list
Cyclic Double-Linked List
Endless-FIR
Endless Five-In-a-Row Game（五子棋無盡版）
iris-playground
Exercises of Lecture Notes on Iris
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
rustblog-zh
Something about the Rust Programming Language (in Chinese)
rust
Empowering everyone to build reliable and efficient software.
frank-king's Repositories
frank-king/cyclic_list
Cyclic Double-Linked List
frank-king/rustblog-zh
Something about the Rust Programming Language (in Chinese)
frank-king/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
frank-king/Zdic
frank-king/arceos
An experimental modular OS written in Rust.
frank-king/articles
Source code for my articles
frank-king/commons-dbutils
Mirror of Apache Commons DbUtils
frank-king/coq-playground
A playground to learn coq and formality theories
frank-king/Endless-FIR
Endless Five-In-a-Row Game（五子棋無盡版）
frank-king/ImslpAndroid
IMSLP app for Android
frank-king/iris-playground
Exercises of Lecture Notes on Iris
frank-king/jdk
JDK main-line development
frank-king/lambda-rust
Cloned from https://gitlab.mpi-sws.org/iris/lambda-rust
frank-king/learnprogram
frank-king/MakupLangInterpreter
frank-king/memmaster
frank-king/minirust
A precise specification for "Rust lite / MIR plus"
frank-king/mockall
A powerful mock object library for Rust
frank-king/polonius
Defines the Rust borrow checker.
frank-king/RPL
A pattern language for Rust.
frank-king/rust
Empowering everyone to build reliable and efficient software.
frank-king/Rust-exercises
frank-king/rustfmt
Format Rust code
frank-king/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
frank-king/RustPython
A Python Interpreter written in Rust
frank-king/string-joiner
frank-king/sunt
SNMP Agent written in Rust
frank-king/tensorbase
TensorBase is a new big data warehousing with modern efforts.
frank-king/tiger-compiler