The Agda standard library

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

一个检测电脑端截图后自动发送至平板，以便直接插入笔记的应用程序

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

a simple player for fun

好耶 是女装 | 备份·接受PR

Original algorithmic contest problems and lecture notes — NOIP to NOI & ACM-ICPC level

SHU友, New generation of course helper with various features

A brand-new civilian operating system written entirely from scratch with no reliance on any existing architecture, no POSIX, no syscall semantics, theoretically capable of over 95% of bare-metal pe…

TypeScript-first schema validation with static type inference

Turn a live lecture into structured, searchable, review-ready notes in real time — on-device live captions, speaker diarization & voiceprints, plus LLM summaries, exam-point prediction and mock pap…

开源的西电学生信息查询软件，包括课表查询、成绩查询、电费查询等功能。手机版称为 XDYou

An ebook reader with a self-evolving agent: it remembers your reading across books, and plugins extend the reader and the agent alike.

CS Track B 学习资料 偏向编程语言

Modern scientific computing for OCaml

💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…

SYSY Compiler

计算机自学指南

Chez Scheme

20th International conference on NeuroSymbolic Learning and Reasoning (NeSy 2026)

Methods in Algebra (Volume 2): A Chinese textbook on Algebra

Manage KDE Plasma with Home Manager [maintainer=@HeitorAugustoLN]

AstrBot 用于控制安卓手机的客户端应用。

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

CachyOS kernel for NixOS