龙方淞's Projects
Acquire a lock by using an issue, to control the concurrency of GitHub Actions running.
AdiDoks is a mordern documentation theme, which is a port of the Hugo theme Doks for Zola.
Agda is a dependently typed programming language / interactive theorem prover.
Agda formalisation of the Introduction to Homotopy Type Theory
用Nonebot2开发的QQ机器人
Port of Anatole theme for farbox to Zola.
My own impl of boa-dev/criterion-compare-action, since its dependency critcmp is nolonger matained
Create an CRUD API server directly from a table in database or/and a yaml file.
A compiler which compiles C-like code into KerboScript, which is used by KSP mod KOS.
The Rust package manager
A Chaos Engineering Platform for Kubernetes.
Go client for TiKV
Rust Client for TiKV.
A C like language, its compiler, and more
⚡️📊 Compare the performance of Rust project branches
一些常用功能的Dash代码片段
Some more derive(Trait) options
Rust crates providing a generic interface for display drivers and some default implementations (GPIO, SPI and I2C)
Dockerfile for building a Don't Starve Together dedicated server image.
docker pull from mirror site
TiDB database documentation.
TiDB/TiKV/PD documentation in Chinese.