《金庸群侠传》c++复刻版，已完工

The HOL Light theorem prover

Open source high performance IEEE-754 floating unit

AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries

Reference implementations for Symbolic Abstraction algorithms.

Apron Numerical Abstract Domain Library

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Tutorial on PhD Application

Free, local, open-source 24/7 Cowork and Clawdbot for Gemini CLI, Claude Code, Codex, OpenCode, Qwen Code, Goose CLI, Auggie, and more | 🌟 Star if you like it!

An open-source platform for legally compliant email archiving.

A Fundamental End-to-End Speech Recognition Toolkit and Open Source SOTA Pretrained Models, Supporting Speech Recognition, Voice Activity Detection, Text Post-processing etc.

《Designing Data-Intensive Application》DDIA 第一版 / 第二版 中文翻译

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

kaldi-asr/kaldi is the official location of the Kaldi project.

fcitx5扩展词库/Rime全局带声调词库，最全声调标注工具链，Rime语法模型：LMDG - Language, Model, Dictionary, Grammar。

Make Azure natural TTS voices accessible to any SAPI 5-compatible application.

A generative speech model for daily dialogue.

https://hf.co/hexgrad/Kokoro-82M

Multi-lingual large voice generation model, providing inference, training and deployment full-stack ability.

Escalation of Privilege to the root through sudo binary with chroot option. CVE-2025-32463

Load self-signed drivers without TestSigning or disable DSE. Transferred from https://github.com/DoubleLabyrinth/Windows10-CustomKernelSigners

Artefacts for blog post on finding CVE-2025-37899 with o3

zeus-style banking trojan

Malware source code samples leaked online uploaded to GitHub for those who want to analyze the code.

An automatic, multi-threaded mass sample (malware) execution based on that used by the PC Security Channel (YouTube)

A handy tool to extract information from geosite/geoip

We all edit.