HoshinoTented

LuoGuAPI

API of LuoGu

anti-indulged-intellij

Anti-Indulged for IntelliJ Platform (AI4IJ)

mirai-rs

mirai-rs is a mirai-api-http client implementation written in Rust

AbstractAlgebra

Practice of LaTeX and Abstract Algebra

PaintBoardServer

A Server Side of PaintBoard

DreamBook

OpenHoshinoes

csapp

HoshinoAlgorithm

achievement

aya-dev

~ Growing as cubes

aya-issues

aya-prover-docs

The documentation site of the Aya prover.

Cirno-s-Fundamental-Theorem

辅助模组

HoshinoTented

Hoshi no Profile

imgui-rs

Rust bindings for dear imgui

intellij-aya

~ Intellij Platform plugin for Aya Prover

JOS-Practice

kala-inspections

Kala inspections

ktorcn.github.io

Ktor 中文站：Ktor 框架网站与文档中文版

LinearAlgebra

My note for leaning Linear Algebra

MCMouseHelper

Keeping Breaking Block or Using Item, FREE YOUR HANDS

mirai

全开源 QQ机器人/QQ协议支持库 Protocol library for Tencent QQ/TIM

MLHT

Martin-Löf Type Theory implementation, in order to experiment some language futures

OsuSkin

osu skin repo

otp-kt

An incomplete implementation of One-Time Password

SerializableDream

✨Serializing your dream, and lose them in the memory.

ShadowsocksR_RSS_Manager

Simple-Network-Simulator

a toy

yis-rs