A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

Run sing-box/mihomo as client in shell

A performant NumPy extension for Galois fields and their applications

✨ Local and Fast AI Assistant. Support: Web | iOS | MacOS | Android | Linux | Windows

凇鹤拼音 —— Rime 简体中文输入法方案，整合了雾凇拼音和小鹤双拼/音形方案的拼音输入法。

该工具库实现了《GM/T 0005-2021 随机性检测规范》中描述的15种随机性检测方法

The open source code of this project is used for userscripts (油猴脚本) for desktop browsers, including Font Rendering (Customized) (字体渲染（自用脚本）- Font Rendering.user.js), and Search Engine Assistant (优雅…

Make Zotero effective for us LaTeX holdouts

上海交通大学开题报告LaTeX模板（非官方） Shanghai Jiao Tong University LaTeX Template for thesis proposal (unofficial)

The Python iSJTU client for Humans.

Tools for studying S-boxes

Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)