A demo implementation of a simple dependently-typed language

JSON for Modern C++

C++ library for Telegram bot API

英文单词，英语单词，英语四六级、考研、SAT单词，txt 文件, json 文件，CET4 CET6，乱序，单词

Text-Guided Synthesis of Scientific Vector Graphics with TikZ

A CSS stylesheet to provide some fallback rendering to browsers without MathML support

Franz is a free messaging app for services like WhatsApp, Slack, Messenger and many more.

Intuitive GTK4/LibAdwaita music player

An extensible music server written in Rust 🚀🎵✨

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

算法竞赛课件分享

Herminos's Page

Port linux 0.12 to RISC-V 64

OI / ACM essays and learning materials

所有小初高、大学PDF教材。

A tiling window manager for X11

MicroVIM, a simple editor implements some basic vim features.

Read e-books in style

eweOS main package repository

AtomAlpaca's OI Problem Codes

Package files for eweOS

defeating the latest version of ReCaptcha with 91% accuracy

Netrek Client (C and X11)

Learn assembly with entirely too many brainfuck compilers

荷思 2021 毕业专刊源码。

A small C compiler

Cosmetic color scheme for Vim

A client for QQ and more.