TRCYX/homework-grader
Homework grading workflow for submissions by email; agent coded
Homework grading workflow for submissions by email; agent coded
Composable custom class converters for attrs, dataclasses and friends.
Unicode 数学符号输入方案,基于 RIME
hanabi.github.io 的中文翻译(进行中)
Do notation in Python.
A simple STLC implementation
Help admin to start / stop / restart the server
多槽位自动快速备份和回档的 MCDR 插件。能够灵活安排备份存留的时长,使得需回档时不同量级的时间之前的备份都有保留。改编自 QuickBackupM 和 AutoQuickBackup。
A simple os kernel based on rCore-Tutorial with user mode trap support
A fancy diagnostics & error reporting crate
Bridge bidding system notepad (under development)
Some basic Haskell ideas in C++
The repository for high quality TypeScript type definitions.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A class to hold chunk data for Minecraft
The core implementation of worlds for prismarine
Pathfinding plugin that gives bot the ability to go from A to B
Create Minecraft bots with a powerful, stable, and high level JavaScript API.
The official Xilinx u-boot repository
简陋的 Minecraft Mineflayer bot 平台
Make RFC documents on IETF website look better.
简单的 lisp 解释器
Universal Online Judge (Community Edition)