An introduction to programming language theory in Agda

Free, open-source Chinese character data

Chinese character stroke order animations and practice quizzes

Lightweight, simple to use jQuery plugin to animate SVG paths

Automatically add a progress bar to your site.

Constraint Logic Programming over Finite Domains

Code documentation written as code! How novel and totally my idea!

A first experience with Rust

《软件基础》中译版 Software Foundations Chinese Translation

The main libseccomp repository

Create PDF documents using web technologies

JSON parser and generator for C/C++ with scanf/printf like interface. Targeting embedded systems.

Master programming by recreating your favorite technologies from scratch.

A library to parse proxy auto-config (PAC) files

A simple, in-browser, markdown-driven slideshow tool.

A command-line based markdown presentation tool.

Instant Terminal Sharing

Bear is a tool that generates a compilation database for clang tooling.

An arctic, north-bluish color palette.

My site and blog.

A guide for styling your node.js / JavaScript code. Fork & adjust to your taste.

Flash OS images to SD cards & USB drives, safely and easily.

✨🗓✨一个美炸天的诗词周历 ， 52个周给你新的体验。

A chess engine written in C.

Sunfish: a Python Chess Engine in 111 lines of code

Debian Code Search (codesearch.debian.net) is a search engine that searches through all the 130 GB of open source software that is included in Debian. Supports regular expressions!

Format Rust code

Zero-cost asynchronous programming in Rust

A catalogue of Rust design patterns, anti-patterns and idioms

Rust Code Completion utility