Terminal RSVP speed reader with Spritz-like functionality written in POSIX-compliant shell

The key screens, description and apk of the developed mobile application

A taggable image board written in Rails.

Verification infrastructure for the Isabelle/HOL interactive proof assistant

日语输入法 Input method for typing Japanese with RIME

本项目旨在通过数据生成技术、模型微调技术、加权投票技术来检测以下6种有害文本：涉黄有害文本、辱骂/谐音辱骂有害文本、地域、性别、种族、职业攻击有害文本

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

将微信读书中的书籍导出成epub、pdf、mobi等格式

Converters and viewers dictionary databases CC-CEDICT, DSL, 大БКРС

The Next Generation GoldenDict

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

A list of awesome resources for OPDS users and developers

Fast, lightweight and easy to use Minecraft launcher

Example PyO3 project with automated test coverage for Rust and Python

An implementation of Pie in Haskell

Advanced Text Editor for Android

ServerBox - server status & toolbox

大概是2020年最全的免费可商用字体，这里收录的商免字体都能找到明确的授权出处，可以放心使用，持续更新中...

A simple wayland native screenshot tool.

wayland desktop widget to show to the sun's shadows on earth

awesome-e2k

Хороший Учебный Язык

A simple, lightweight PowerShell script that allows you to remove pre-installed apps, disable telemetry, as well as perform various other changes to declutter and customize your Windows experience.…

Custom Linux kernel patches

The "Activate Windows" watermark ported to Linux

Archlinux Kernel based on different schedulers and some other performance improvements.