（白式）IDS 延展语法导论

Solutions to the exercises of the book Structure and Interpretation of Computer Programs

A scheme interpreter written in C

Track GitHub backport PR status, missing targets, and unmerged backports.

Fully structured note-taking system, powered by Sphinx

Lua CJSON is a fast JSON encoding/parsing module for Lua

2026年上海电影节行程规划Skill

🦍 Source code for developer.konghq.com website.

The graphical KAGE glyph editor

Test and fuzz Python string programs with formal language types

Hackergame platform for 2018 and beyond

Git blame annotations on the text editor just like in Jet Brains IntelliJ Idea and other familiar code editors. Simply Blame is comprehensively configurable with various settings from date formats,…

个人整理的《深入理解计算机系统》中文电子版（原书第 3 版）与实验材料：https://hansimov.gitbook.io/csapp/

A tool that converts clang generated assembly code into Go ASM.

PlantUML Online Server

Rich PlantUML support for Visual Studio Code.

将冰冷的离别化为温暖的 Skill，欢迎加入数字生命1.0！Transforming cold farewells into warm skills? It's giving rebirth era. Welcome to Digital Life 1.0. 🫶

Toy language with dynamic types and builds to Go.

A repo which stores Simai charts converted by MaichartConverter

A serializer/deserializer for the rhythm game chart format simai.

the read about "me"

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

Rime 打字模拟和数据统计

QR Code Analysis and Recovery Toolkit

IRG Working Document Standards

🚧 WIP. Control mac apps over CDP.

My Custom Mind Flow Tools

The lite edition of LXGW WenKai.