Hoare Type Theory

Another Mihomo GUI.

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。

The Arend Proof Assistant

Virtual machines for iOS and macOS

A terminal-based SSH manager inspired by lazydocker and k9s - Written in go

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Seamless bug-finding for C, C++, Rust, Wasm and Zig

美好世界你我相伴。同性恋🏳️‍🌈看过来，在这里找到我们的最爱！

A command-line installer for Windows.

chsrc 全平台通用换源工具与框架. Change Source everywhere for every software

Raspberry Pi config for all things Internet.

赫蹏（hètí）是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来，可以为网站的读者带来更好的文章阅读体验。

中文古籍刻本風格直排電子書製作工具 Chinese Ancient eBooks Generator

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

An elegant Go board and SGF editor for a more civilized age.

Improve your Baduk skills by training with KataGo!

GTP engine and self-play learning in Go

🎈 Updated daily! A list of popular BitTorrent Trackers! / 每天更新！全网热门 BT Tracker 列表！

LLM-Assisted Crossover in Genetic Improvement of Software artifacts for GI@ICSE 2025

Resources for the SL-COMP 2019 edition

Competition of Solvers for Separation Logic

The cling C++ interpreter

TensorZero is an open-source stack for industrial-grade LLM applications. It unifies an LLM gateway, observability, optimization, evaluation, and experimentation.

Attack surface mapping

LLM training in simple, raw C/CUDA

Main reference implementation for NLWeb, implemented in Python.