Frank King's repositories
cyclic_list
Cyclic Double-Linked List
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)
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
Endless-FIR
Endless Five-In-a-Row Game(五子棋無盡版)
ImslpAndroid
IMSLP app for Android
iris-playground
Exercises of Lecture Notes on Iris
lambda-rust
Cloned from https://gitlab.mpi-sws.org/iris/lambda-rust
minirust
A precise specification for "Rust lite / MIR plus"
mockall
A powerful mock object library for Rust
polonius
Defines the Rust borrow checker.
RPL
A pattern language for Rust.
rust
Empowering everyone to build reliable and efficient software.
rustfmt
Format Rust code
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
RustPython
A Python Interpreter written in Rust
sunt
SNMP Agent written in Rust
tensorbase
TensorBase is a new big data warehousing with modern efforts.